Travelled to:1 × Canada
1 × France
1 × Israel
1 × Japan
1 × Portugal
1 × Spain
2 × Hungary
2 × Sweden
2 × United Kingdom
3 × The Netherlands
4 × USA
Collaborated with:P.Jansson A.Löh B.Heeren S.D.Swierstra A.Gerdes J.P.Magalhães D.Clarke S.Holdermans S.Leather A.R.Yakushev E.Meijer ∅ T.Olmer R.Hinze F.Atanassow C.Amaral A.Rodriguez B.Schuur R.C.Backhouse L.G.L.T.Meertens A.Dijkstra O.Kiselyov B.C.d.S.Oliveira L.Cabenda G.Engels J.Kleerekoper S.Mak M.Overeem K.Visser E.Dolstra J.Hage C.Löh A.Middelkoop J.v.Schie
Talks about:program (12) generic (8) haskel (7) function (6) polytyp (4) type (4) tutor (3) preserv (2) librari (2) grammar (2)
♂ Person: Johan Jeuring
DBLP: Jeuring:Johan
Facilitated 8 volumes:
Ed
PrCoPrCoPrCoPrCo
EdEd
EdContributed to:
2014
2014
2012
20112010200920082008
2006
2006
20042003
19991998
199719961995
19951994200820102012Wrote 23 papers:
- PEPM-2014-LeatherJLS #semantics
- Type-changing rewriting and semantics-preserving transformation (SL, JJ, AL, BS), pp. 109–120.
- TFPIE-2014-OlmerHJ #haskell
- Evaluating Haskell expressions in a tutoring environment (TO, BH, JJ), pp. 50–66.
- ITiCSE-2012-GerdesJH #functional #interactive #programming
- An interactive functional programming tutor (AG, JJ, BH), pp. 250–255.
- CEFP-2011-JeuringGH #haskell #programming
- A Programming Tutor for Haskell (JJ, AG, BH), pp. 1–45.
- PEPM-2010-MagalhaesHJL #exclamation #optimisation
- Optimizing generics is easy! (JPM, SH, JJ, AL), pp. 33–42.
- ICFP-2009-YakushevHLJ #data type #fixpoint #programming #recursion
- Generic programming with fixed points for mutually recursive datatypes (ARY, SH, AL, JJ), pp. 233–244.
- AFP-2008-JeuringLMY08 #haskell #library #programming
- Libraries for Generic Programming in Haskell (JJ, SL, JPM, ARY), pp. 165–229.
- ICFP-2008-DolstraHHHJLLMRS #contest #programming
- Report on the tenth ICFP programming contest (ED, JH, BH, SH, JJ, AL, CL, AM, AR, JvS), pp. 397–408.
- FLOPS-2006-HinzeJL #contract #functional #programming
- Typed Contracts for Functional Programming (RH, JJ, AL), pp. 208–225.
- IFL-2006-JanssonJCEKMOV #testing
- Testing Properties of Generic Functions (PJ, JJ, LC, GE, JK, SM, MO, KV), pp. 217–234.
- PADL-2004-AtanassowCJ #haskell #named #xml
- UUXML: A Type-Preserving XML Schema-Haskell Data Binding (FA, DC, JJ), pp. 71–85.
- ICFP-2003-LohCJ #haskell
- Dependency-style generic Haskell (AL, DC, JJ), pp. 141–152.
- ESOP-1999-JanssonJ #parsing
- Polytypic Compact Printing and Parsing (PJ, JJ), pp. 273–287.
- AFP-1998-BackhouseJJM98 #programming
- Generic Programming: An Introduction (RCB, PJ, JJ, LGLTM), pp. 28–115.
- POPL-1997-JanssonJ #named #programming language
- Polyp — A Polytypic Programming Language (PJ, JJ), pp. 470–482.
- AFP-1996-JeuringJ96 #programming
- Polytypic Programming (JJ, PJ), pp. 68–114.
- AFP-1995-MeijerJ95 #functional #monad #programming
- Merging Monads and Folds for Functional Programming (EM, JJ), pp. 228–266.
- FPCA-1995-Jeuring #pattern matching
- Polytypic Pattern Matching (JJ), pp. 238–248.
- FPCA-1995-JeuringS #analysis #functional #problem #source code
- Constructing Functional Programs for Grammar Analysis Problems (JJ, SDS), pp. 259–269.
- ESOP-1994-JeuringS #analysis #bottom-up #functional
- Bottom-up Grammar Analysis — A Functional Formulation (JJ, SDS), pp. 317–332.
- Haskell-2008-RodriguezJJGKO #haskell #library #programming
- Comparing libraries for generic programming in haskell (AR, JJ, PJ, AG, OK, BCdSO), pp. 111–122.
- Haskell-2010-MagalhaesDJL #haskell
- A generic deriving mechanism for Haskell (JPM, AD, JJ, AL), pp. 37–48.
- Haskell-2012-JeuringJA #testing
- Testing type class laws (JJ, PJ, CA), pp. 49–60.