BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Jeuring:Johan

Facilitated 8 volumes:

ICFP 2014Ed
LDTA 2011PrCo
LDTA 2010PrCo
LDTA 2007PrCo
LDTA 2006PrCo
AFP 2002Ed
AFP 1995Ed
Haskell 2003Ed

Contributed to:

PEPM 20142014
TFPIE 20142014
ITiCSE 20122012
CEFP 20112011
PEPM 20102010
ICFP 20092009
AFP 20082008
ICFP 20082008
FLOPS 20062006
IFL 20062006
PADL 20042004
ICFP 20032003
ESOP 19991999
AFP 19981998
POPL 19971997
AFP 19961996
AFP 19951995
FPCA 19951995
ESOP 19941994
Haskell 20082008
Haskell 20102010
Haskell 20122012

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.