Alex Gerdes

Senior Lecturer, Computing Science division, Department of Computer Science and Engineering.

alex.gerdes@cse.gu.se +46317726154 Find me http://orcid.org/0000-0002-7445-211X

Programme manager for the bachelor programme in Computer Science at University of Gothenburg.

Publications

Latest publications

2019
Saint: an API-generic type-safe interpreter

Author: Maximilian Algehed; Patrik Jansson; Sólrún Einarsdóttir; Alex Gerdes

Published: 2019

Published in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Publication type: Paper in proceeding
2018
Understanding formal specifications through good examples

Author: Alex Gerdes; John Hughes; Nicholas Smallbone; Stefan Hanenberg; Sebastian Ivarsson; Meng Wang

Published: 2018

Published in: Erlang 2018 Proceedings of the 17th ACM SIGPLAN International Workshop on Erlang

Publication type: Paper in proceeding
2017
Ask-Elle: an Adaptable Programming Tutor for Haskell Giving Automated Feedback

Author: Alex Gerdes; Bastiaan Heeren; Johan Jeuring; L.T. Van Binsbergen

Published: 2017

Published in: International Journal of Artificial Intelligence in Education

Publication type: Journal article
2015
Graphical editing support for QuickCheck models

Author: Thomas Arts; K. Bogdanov; Alex Gerdes; John Hughes

Published: 2015

Published in: 2015 IEEE 8th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2015 - Proceedings

Publication type: Paper in proceeding
Linking Unit Tests and Properties

Author: Alex Gerdes; John Hughes; Nicholas Smallbone; M. Wang

Published: 2015

Published in: Erlang Workshop, 2015-09-04, Vancouver

Publication type: Paper in proceeding
Attribute grammars in Erlang

Author: Ulf Norell; Alex Gerdes

Published: 2015

Published in: Proceedings of the Fourteenth ACM SIGPLAN Workshop on Erlang

Publication type: Paper in proceeding
2008
Comparing Libraries For Generic Programming In Haskell

Author: Alexey Rodriguez; Johan Jeuring; Patrik Jansson; Alex Gerdes; Oleg Kiselyov; Bruno C D S Oliveira

Published: 2008

Published in: ACM Sigplan Notices:1st ACM SIGPLAN Haskell Symposium, Haskell'08; Victoria, BC; Canada; 25 September 2008 through 25 September 2008

Publication type: Paper in proceeding
Comparing Libraries for Generic Programming in Haskell

Author: Alexey Rodriguez; Johan Jeuring; Patrik Jansson; Alex Gerdes; Oleg Kiselyov; Bruno C D S Oliveira

Published: 2008

Published in:

Publication type: Report

Go to Chalmers publication library

Page manager Published: Fri 17 Dec 2021.

Alex Gerdes

Latest publications

2019

2018

2017

2015

2008