Johan Jeuring - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

2010

Using strategies for assessment of programming exercisesAlex Gerdes, Johan Jeuring, Bastiaan Heeren. sigcse 2009: 441-445 [doi]

Optimizing generics is easy!JosÃ© Pedro MagalhÃ£es, Stefan Holdermans, Johan Jeuring, Andres LÃ¶h. PEPM 2010: 33-42 [doi]

2009

2008

Report on the tenth ICFP programming contestEelco Dolstra, Jurriaan Hage, Bastiaan Heeren, Stefan Holdermans, Johan Jeuring, Andres Löh, Clara Löh, Arie Middelkoop, Alexey Rodriguez, John van Schie. ICFP 2008: 397-408 [doi]

Specifying Strategies for ExercisesBastiaan Heeren, Johan Jeuring, Arthur van Leeuwen, Alex Gerdes. AISC 2008: 430-445 [doi]

Libraries for Generic Programming in HaskellJohan Jeuring, Sean Leather, JosÃ© Pedro MagalhÃ£es, Alexey Rodriguez Yakushev. afp 2009: 165-229 [doi]

Comparing libraries for generic programming in haskellAlexey Rodriguez, Johan Jeuring, Patrik Jansson, Alex Gerdes, Oleg Kiselyov, Bruno C. d. S. Oliveira. haskell 2008: 111-122 [doi]

A lightweight approach to datatype-generic rewritingThomas van Noort, Alexey Rodriguez, Stefan Holdermans, Johan Jeuring, Bastiaan Heeren. ICFP 2008: 13-24 [doi]

2007

Customizing an XML-Haskell data binding with type isomorphism inference in Generic HaskellFrank Atanassow, Johan Jeuring. SCP, 65(2):72-107, 2007. [doi]

Comparing approaches to generic programming in HaskellRalf Hinze, Johan Jeuring, Andres Löh. In SSDGP'06: Proceedings of the 2006 international conference on Datatype-generic programming. 2007: [doi]

2006

2005

Using Schema Analysis for Feedback in Authoring Tools for Learning EnvironmentsHarrie Passier, Johan Jeuring. aied 2005: 911-913

2004

Inferring Type Isomorphisms GenericallyFrank Atanassow, Johan Jeuring. mpc 2004: 32-53 [doi]

UUXML: A Type-Preserving XML Schema-Haskell Data BindingFrank Atanassow, Dave Clarke, Johan Jeuring. padl 2004: 71-85 [doi]

Type-indexed data typesRalf Hinze, Johan Jeuring, Andres Löh. SCP, 51(1-2):117-151, 2004. [doi]

2003

Generic Programming, IFIP TC2/WG2.1 Working Conference on Generic Programming, July 11-12, 2002, Dagstuhl, GermanyJeremy Gibbons, Johan Jeuring, editors, Volume 243 of IFIP Conference Proceedings, Kluwer, 2003.

Generic Haskell: Practice and TheoryRalf Hinze, Johan Jeuring. ac 2003: 1-56 [doi]

Generic Haskell: ApplicationsRalf Hinze, Johan Jeuring. ac 2003: 57-96 [doi]

Advanced Functional Programming, 4th International School, AFP 2002, Oxford, UK, August 19-24, 2002, Revised LecturesJohan Jeuring, Simon L. Peyton Jones, editors, Volume 2638 of Lecture Notes in Computer Science, Springer, 2003.

Dependency-style generic haskellAndres LÃ¶h, Dave Clarke, Johan Jeuring. SIGPLAN, 38(9):141-152, 2003. [doi]

Dependency-style generic HaskellAndres Löh, Dave Clarke, Johan Jeuring. ICFP 2003: 141-152 [doi]

2002

Type-Indexed Data TypesRalf Hinze, Johan Jeuring, Andres Löh. mpc 2002: 148-174 [doi]

2001

The Generic Haskell User's GuideDave Clarke, Johan Jeuring, Andres Löh. 2001.

Weaving a webRalf Hinze, Johan Jeuring. JFP, 11(6):681-689, 2001.

1999

Polytypic Compact Printing and ParsingPatrik Jansson, Johan Jeuring. ESOP 1999: 273-287 [doi]

1998

Generic Programming: An IntroductionRoland Carl Backhouse, Patrik Jansson, Johan Jeuring, Lambert G. L. T. Meertens. afp 1998: 28-115

Polytypic UnificationPatrik Jansson, Johan Jeuring. JFP, 8(5):527-536, 1998.

Mathematics of Program Construction, MPC 98, Marstrand, Sweden, June 15-17, 1998, ProceedingsJohan Jeuring, editor, Volume 1422 of Lecture Notes in Computer Science, Springer, 1998.

1997

Polyp - A Polytypic Programming LanguagePatrik Jansson, Johan Jeuring. POPL 1997: 470-482 [doi]

1996

Polytypic ProgrammingJohan Jeuring, Patrik Jansson. afp 1996: 68-114

1995

Polytypic Pattern MatchingJohan Jeuring. fpca 1995: 238-248

Constructing Functional Programs for Grammar Analysis ProblemsJohan Jeuring, S. Doaitse Swierstra. fpca 1995: 259-269

Merging Monads and Folds for Functional ProgrammingErik Meijer, Johan Jeuring. afp 1995: 228-266

1994

The Derivation of On-Line Algorithms, with an Application To Finding PalindromesJohan Jeuring. algorithmica, 11(2):146-184, 1994.

Bottom-up Grammar Analysis - A Functional FormulationJohan Jeuring, S. Doaitse Swierstra. ESOP 1994: 317-332

Optimizing Generics Is Easy!José Pedro Magalhães, Stefan Holdermans, Johan Jeuring, Andres Löh. PEPM 2010: