Skip Ribbon Commands

Skip to main content

Start

Staff

Alex Gerdes

Senior Lecturer, Functional Programming division, Department of Computer Science and Engineering.

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

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 proceedings
2018
Understanding formal specifications through good examples

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

Published: 2018

Published in:

Publication type: Paper in proceedings
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:

Publication type: Paper in proceedings
Linking Unit Tests and Properties

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

Published: 2015

Published in:

Publication type: Paper in proceedings
Attribute grammars in Erlang

Author: Ulf Norell; Alex Gerdes

Published: 2015

Published in:

Publication type: Paper in proceedings
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:

Publication type: Paper in proceedings
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

Published: Mon 12 Nov 2018.