2015 Inf1–FP Programming Competition Entries

If you wish to run the examples, you will sometimes need to compile the code or even install some libraries. The README or instruction file should tell you how to do this. Most of the time it is enough to compile the file containing a definition for main using the ghc --make FILE command.

This year's competition is sponsored by Galois:

"Galois researches, designs and develops high assurance technologies for security-critical systems, networks and applications. Armed with an engineering staff that includes many of the top language and semantics researchers in the world, we use cutting-edge mathematically-based programming techniques to address our clients' toughest information sharing challenges."

Galois writes almost all of its code in Haskell, and provides much support for the Haskell community. For more information, see Functional Programming in the Real World.
Tatsuya Haddow
Tatsuya Haddow
2nd Prize
Peter Bell
Peter Bell
Alexandru Brisan, Tim Reichelt and Jazon Szabo
Alexandru Brisan, Tim Reichelt and Jazon Szabo
2nd Prize
 Nakorn Charayaphan
Nakorn Charayaphan
Ciobanu Mihai
Mihai Ciobanu
3rd Prize
Enache Mihai
Mihai Enache
3rd Prize
Grilec David
David Grilec
1st Prize
Jing Yang
Jing Yang
Ignas Kancleris
Ignas Kancleris
3rd Prize
Marius Urbonas
Marius Urbonas
Michael Michaelides
Michael Michaelides
2nd Prize
Stylianos Milisavljevic
Stylianos Milisavljevic
Qingzhuo Aw Young
Qingzhuo Aw Young
1st Prize


Home : Teaching : Courses : Inf1 : Fp 

Informatics Forum, 10 Crichton Street, Edinburgh, EH8 9AB, Scotland, UK
Tel: +44 131 651 5661, Fax: +44 131 651 1426, E-mail: school-office@inf.ed.ac.uk
Please contact our webadmin with any comments or corrections. Logging and Cookies
Unless explicitly stated otherwise, all material is copyright © The University of Edinburgh