Johan Jeuring
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Type Class Instances for Type-Level Lambdas in Haskell Lecture Notes in Computer Science | 2016-06-21 | Paper |
| Dependency-style generic Haskell Proceedings of the eighth ACM SIGPLAN international conference on Functional programming | 2015-07-02 | Paper |
| Generic programming with fixed points for mutually recursive datatypes Proceedings of the 14th ACM SIGPLAN international conference on Functional programming | 2015-01-06 | Paper |
| Recognizing Strategies Electronic Notes in Theoretical Computer Science | 2014-07-22 | Paper |
| Finding palindromes: variants and algorithms Lecture Notes in Computer Science | 2014-04-16 | Paper |
| Generating feedback for learning algebra Nieuw Archief voor Wiskunde. Vijfde Serie | 2013-07-10 | Paper |
| Interleaving strategies Lecture Notes in Computer Science | 2011-07-29 | Paper |
| Specifying rewrite strategies for interactive exercises Mathematics in Computer Science | 2011-02-19 | Paper |
| A lightweight approach to datatype-generic rewriting Journal of Functional Programming | 2011-01-26 | Paper |
| Adapting mathematical domain reasoners Lecture Notes in Computer Science | 2010-08-24 | Paper |
| Generic Programming Lecture Notes in Computer Science | 2010-03-09 | Paper |
| Generic Haskell: applications. Lecture Notes in Computer Science | 2010-03-09 | Paper |
| Libraries for generic programming in Haskell Advanced Functional Programming | 2009-12-03 | Paper |
| Canonical Forms in Interactive Exercise Assistants Lecture Notes in Computer Science | 2009-07-09 | Paper |
| Generic Views on Data Types Lecture Notes in Computer Science | 2009-04-02 | Paper |
| Specifying Strategies for Exercises Lecture Notes in Computer Science | 2009-01-27 | Paper |
| Typed Contracts for Functional Programming Functional and Logic Programming | 2007-05-02 | Paper |
| Customizing an XML-Haskell data binding with type isomorphism inference in generic Haskell Science of Computer Programming | 2007-03-12 | Paper |
| Mathematics of Program Construction Lecture Notes in Computer Science | 2005-08-26 | Paper |
| Type-indexed data types Science of Computer Programming | 2004-10-04 | Paper |
| scientific article; zbMATH DE number 2090025 (Why is no real title available?) | 2004-08-12 | Paper |
| Polytypic data conversion programs Science of Computer Programming | 2002-05-15 | Paper |
| Weaving a web Journal of Functional Programming | 2001-01-01 | Paper |
| Polytypic unification Journal of Functional Programming | 1999-03-28 | Paper |
| The derivation of on-line algorithms, with an application to finding palindromes Algorithmica | 1994-02-16 | Paper |
Research outcomes over time
This page was built for person: Johan Jeuring
