Johan Jeuring

Visar 14 publikationer

2016

Ask-Elle: an Adaptable Programming Tutor for Haskell Giving Automated Feedback

Alex Gerdes, Bastiaan Heeren, Johan Jeuring et al
International Journal of Artificial Intelligence in Education (1), p. 1-36
Artikel i vetenskaplig tidskrift
2012

Testing Type Class Laws

Johan Jeuring, Patrik Jansson, Claudio Amaral
2012 ACM SIGPLAN Haskell Symposium, Haskell 2012. Copenhagen, 13 September 2012, p. 49-60
Paper i proceeding
2008

Comparing Libraries for Generic Programming in Haskell

Alexey Rodriguez, Johan Jeuring, Patrik Jansson et al
Rapport
2008

Comparing Libraries For Generic Programming In Haskell

Alexey Rodriguez, Johan Jeuring, Patrik Jansson et al
ACM Sigplan Notices:1st ACM SIGPLAN Haskell Symposium, Haskell'08; Victoria, BC; Canada; 25 September 2008 through 25 September 2008. Vol. 44 (2), p. 111-122
Paper i proceeding
2007

Testing Properties of Generic Functions

Patrik Jansson, Johan Jeuring
LNCS, Proceedings of IFL 2006. Vol. 4449
Paper i proceeding
2006

Testing Properties of Generic Functions

Patrik Jansson, Johan Jeuring
Rapport
2002

Polytypic Data Conversion Programs

Patrik Jansson, Johan Jeuring
Science of Computer Programming. Vol. 43 (1), p. 35-75
Artikel i vetenskaplig tidskrift
2000

A Framework for Polytypic Programming on Terms, with an Application to Rewriting

Patrik Jansson, Johan Jeuring
Workshop on Generic Programming
Paper i proceeding
1999

Generic Programming: An Introduction

Roland Backhouse, Patrik Jansson, Johan Jeuring et al
Advanced Functional Programming. Vol. 1608, p. 28--115-
Kapitel i bok
1999

Polytypic Compact Printing and Parsing

Patrik Jansson, Johan Jeuring
European Symposium on Programming. Vol. 1576, p. 273-287
Paper i proceeding
1998

PolyLib - a polytypic function library

Patrik Jansson, Johan Jeuring
Workshop on Generic Programming
Paper i proceeding
1998

Functional Pearl: Polytypic Unification

Patrik Jansson, Johan Jeuring
Journal of Functional Programming. Vol. 8 (5), p. 527-536
Artikel i vetenskaplig tidskrift
1997

PolyP - a polytypic programming language extension

Patrik Jansson, Johan Jeuring
Principles of Programming Languages. Vol. POPL97, p. 470-482
Paper i proceeding
1996

Polytypic Programming

Johan Jeuring, Patrik Jansson
Advanced Functional Programming, p. 68-114
Kapitel i bok

Spara referenser

Om du har installerat Zotero eller Mendeley på din dator kan du direkt ta ut referenser från de publikationer du ser i listan.

Du laddar ner dessa pluginer här:
Zotero
Mendeley

Det finns inga projekt att visa.
Det kan finnas fler projekt där Johan Jeuring medverkar, men du måste vara inloggad som anställd på Chalmers för att kunna se dem.