- Home
- About
- Find staff
- Alex Gerdes
Alex Gerdes
Senior Lecturer
Functional Programming (FP)-
Understanding formal specifications through good
examples
Alex Gerdes, John Hughes, Nicholas Smallbone, Stefan Hanenberg, Sebastian Ivarsson, Meng Wang
Proceedings of the 17th ACM SIGPLAN International Workshop on Erlang - 2018 -
Ask-Elle: an Adaptable Programming Tutor for Haskell Giving Automated
Feedback
Alex Gerdes, Bastiaan Heeren, Johan Jeuring, Liewe Thomas van Binsbergen
International Journal of Artificial Intelligence in Education - 2016 -
Linking Unit Tests and
Properties
Alex Gerdes, John Hughes, Nicholas Smallbone, M. Wang
Erlang Workshop, 2015-09-04, Vancouver - 2015 -
Attribute grammars in
Erlang
Ulf Norell, Alex Gerdes
Proceedings of the Fourteenth ACM SIGPLAN Workshop on Erlang - 2015 -
Graphical editing support for QuickCheck
models
T. Arts, K. Bogdanov, Alex Gerdes, John Hughes
2015 IEEE 8th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2015 - Proceedings - 2015 -
Comparing Libraries For Generic Programming In
Haskell
Alexey Rodriguez, Johan Jeuring, Patrik Jansson, Alex Gerdes, Oleg Kiselyov, Bruno C D S Oliveira
ACM Sigplan Notices:1st ACM SIGPLAN Haskell Symposium, Haskell'08; Victoria, BC; Canada; 25 September 2008 through 25 September 2008 - 2008 -
Comparing Libraries for Generic Programming in
Haskell
Alexey Rodriguez, Johan Jeuring, Patrik Jansson, Alex Gerdes, Oleg Kiselyov, Bruno C D S Oliveira
2008