Till sidans topp

Sidansvarig: Växeln
Sidan uppdaterades: 2018-11-25 19:37

Tipsa en vän
Utskriftsversion

Alex Gerdes - Göteborgs universitet Till startsida
Webbkarta
Till innehåll Läs mer om hur kakor används på gu.se

Alex Gerdes

Universitetslektor

Alex Gerdes
Universitetslektor
Akademisk grad: Doktor,
alexg@chalmers.se

Besöksadress: Rännvägen 6 , 41258 Göteborg


Funktionell programmering vid Institutionen för data- och informationsteknik (Mer information)
412 96 Göteborg
Besöksadress: Rännvägen 6 , 412 58 Göteborg

Senaste publikationer

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, Paper i proceeding 2018
Paper i proceeding

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, Artikel i vetenskaplig tidskrift 2016
Artikel i vetenskaplig tidskrift

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

Attribute grammars in Erlang
Ulf Norell, Alex Gerdes
Proceedings of the Fourteenth ACM SIGPLAN Workshop on Erlang, Paper i proceeding 2015
Paper i proceeding

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, Paper i proceeding 2015
Paper i proceeding

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, Paper i proceeding 2008
Paper i proceeding

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

Visar 1 - 7 av 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, Paper i proceeding 2018
Paper i proceeding

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, Artikel i vetenskaplig tidskrift 2016
Artikel i vetenskaplig tidskrift

2015

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

Attribute grammars in Erlang
Ulf Norell, Alex Gerdes
Proceedings of the Fourteenth ACM SIGPLAN Workshop on Erlang, Paper i proceeding 2015
Paper i proceeding

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, Paper i proceeding 2015
Paper i proceeding

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, Paper i proceeding 2008
Paper i proceeding

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

Visar 1 - 7 av 7

Sidansvarig: Växeln|Sidan uppdaterades: 2018-11-25
Dela:

På Göteborgs universitet använder vi kakor (cookies) för att webbplatsen ska fungera på ett bra sätt för dig. Genom att surfa vidare godkänner du att vi använder kakor.  Vad är kakor?