To the top

Page Manager: Webmaster
Last update: 4/19/2017 1:56 PM

Tell a friend about this page
Print version

Alex Gerdes - University of Gothenburg, Sweden Till startsida
Sitemap
To content Read more about how we use cookies on gu.se

Contact form








 


Note! If you want an answer on a question you must specify your email address




Alex Gerdes

Senior lecturer

Alex Gerdes
Senior lecturer
alex.gerdes@gu.se

Visiting Address: Rännvägen 6 , 41258 Göteborg


Functional Programming at Department of Computer Science and Engineering (More Information)
412 96 Göteborg
Visiting Address: Rännvägen 6 , 412 58 Göteborg

Latest publications

Understanding formal specifications through good examples
Alex Gerdes, John Hughes, Nicholas Smallbone, Stefan Hanenberg, Sebastian Ivarsson et al.
Proceedings of the 17th ACM SIGPLAN International Workshop on Erlang, New York, NY, USA, ACM, Conference paper 2018
Conference paper

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, Journal article 2016
Journal article

Linking Unit Tests and Properties
Alex Gerdes, John Hughes, Nicholas Smallbone, M. Wang
Erlang Workshop, 2015-09-04, Vancouver, Conference paper 2015
Conference paper

Attribute grammars in Erlang
Ulf Norell, Alex Gerdes
Proceedings of the Fourteenth ACM SIGPLAN Workshop on Erlang, Conference paper 2015
Conference paper

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, Conference paper 2015
Conference paper

Comparing Libraries For Generic Programming In Haskell
Alexey Rodriguez, Johan Jeuring, Patrik Jansson, Alex Gerdes, Oleg Kiselyov et al.
ACM Sigplan Notices:1st ACM SIGPLAN Haskell Symposium, Haskell'08; Victoria, BC; Canada; 25 September 2008 through 25 September 2008, Conference paper 2008
Conference paper

Comparing Libraries for Generic Programming in Haskell
Alexey Rodriguez, Johan Jeuring, Patrik Jansson, Alex Gerdes, Oleg Kiselyov et al.
Report 2008
Report

Showing 1 - 7 of 7

2018

Understanding formal specifications through good examples
Alex Gerdes, John Hughes, Nicholas Smallbone, Stefan Hanenberg, Sebastian Ivarsson et al.
Proceedings of the 17th ACM SIGPLAN International Workshop on Erlang, New York, NY, USA, ACM, Conference paper 2018
Conference paper

2016

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, Journal article 2016
Journal article

2015

Linking Unit Tests and Properties
Alex Gerdes, John Hughes, Nicholas Smallbone, M. Wang
Erlang Workshop, 2015-09-04, Vancouver, Conference paper 2015
Conference paper

Attribute grammars in Erlang
Ulf Norell, Alex Gerdes
Proceedings of the Fourteenth ACM SIGPLAN Workshop on Erlang, Conference paper 2015
Conference paper

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, Conference paper 2015
Conference paper

2008

Comparing Libraries For Generic Programming In Haskell
Alexey Rodriguez, Johan Jeuring, Patrik Jansson, Alex Gerdes, Oleg Kiselyov et al.
ACM Sigplan Notices:1st ACM SIGPLAN Haskell Symposium, Haskell'08; Victoria, BC; Canada; 25 September 2008 through 25 September 2008, Conference paper 2008
Conference paper

Comparing Libraries for Generic Programming in Haskell
Alexey Rodriguez, Johan Jeuring, Patrik Jansson, Alex Gerdes, Oleg Kiselyov et al.
Report 2008
Report

Showing 1 - 7 of 7

Page Manager: Webmaster|Last update: 4/19/2017
Share:

The University of Gothenburg uses cookies to provide you with the best possible user experience. By continuing on this website, you approve of our use of cookies.  What are cookies?