Johan Jeuring

Available identifiers

Publication	Date of Publication	Type
Type Class Instances for Type-Level Lambdas in Haskell	2016-06-21	Paper
Dependency-style generic Haskell	2015-07-02	Paper
Generic programming with fixed points for mutually recursive datatypes	2015-01-06	Paper
Recognizing Strategies	2014-07-22	Paper
Finding palindromes: variants and algorithms	2014-04-16	Paper
Generating feedback for learning algebra	2013-07-10	Paper
Interleaving strategies	2011-07-29	Paper
Specifying rewrite strategies for interactive exercises	2011-02-19	Paper
A lightweight approach to datatype-generic rewriting	2011-01-26	Paper
Adapting mathematical domain reasoners	2010-08-24	Paper
Generic Programming	2010-03-09	Paper
Generic Haskell: applications.	2010-03-09	Paper
Libraries for generic programming in Haskell	2009-12-03	Paper
Canonical Forms in Interactive Exercise Assistants	2009-07-09	Paper
Generic Views on Data Types	2009-04-02	Paper
Specifying Strategies for Exercises	2009-01-27	Paper
Typed Contracts for Functional Programming	2007-05-02	Paper
Customizing an XML-Haskell data binding with type isomorphism inference in generic Haskell	2007-03-12	Paper
Mathematics of Program Construction	2005-08-26	Paper
Type-indexed data types	2004-10-04	Paper
https://portal.mardi4nfdi.de/entity/Q4808692	2004-08-12	Paper
Polytypic data conversion programs	2002-05-15	Paper
Weaving a web	2001-01-01	Paper
Polytypic unification	1999-03-28	Paper
The derivation of on-line algorithms, with an application to finding palindromes	1994-02-16	Paper

This page was built for person: Johan Jeuring