Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Johan Jeuring" ( http://dblp.L3S.de/Authors/Johan_Jeuring )

URL (Homepage):  http://www.cs.ruu.nl/people/johanj/  Author page on DBLP  Author page in RDF  Community of Johan Jeuring in ASPL-2

Publication years (Num. hits)
1994-2002 (15) 2003-2007 (15) 2008-2010 (19) 2011 (1)
Publication types (Num. hits)
article(11) inproceedings(35) proceedings(4)
Venues (Conferences, Journals, ...)
Advanced Functional Programmin...(6) MPC(4) Generic Programming(3) ICFP(3) ICFP-WGP(3) J. Funct. Program.(3) Sci. Comput. Program.(3) AISC/MKM/Calculemus(2) Calculemus/MKM(2) ESOP(2) FPCA(2) Haskell(2) AAIP(1) AIED(1) Algorithmica(1) CoRR(1) More (+10 of total 27)
Authors
Johan Jeuring(50) Bastiaan Heeren(13) Andres Löh(10) Patrik Jansson(8) Alex Gerdes(6) Ralf Hinze(6) Stefan Holdermans(6) Alexey Rodriguez(5) José Pedro Magalhães(5) Alexey Rodriguez Yakushev(4) Dave Clarke(3) Frank Atanassow(3) Erik Meijer(2) S. Doaitse Swierstra(2) Thomas van Noort(2) Arie Middelkoop(1) More (+10 of total 38)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 24 occurrences of 16 keywords
Results
Found 50 publication records. Showing 50 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Bastiaan Heeren, Johan Jeuring Interleaving Strategies. Search on Bibsonomy Calculemus/MKM The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Bastiaan Heeren, Johan Jeuring, Alex Gerdes Specifying Rewrite Strategies for Interactive Exercises. Search on Bibsonomy Mathematics in Computer Science The full citation details ... 2010 DBLP  BibTeX  RDF
1Alex Gerdes, Bastiaan Heeren, Johan Jeuring Properties of Exercise Strategies Search on Bibsonomy IWS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Bastiaan Heeren, Johan Jeuring Adapting Mathematical Domain Reasoners Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
1Thomas van Noort, Alexey Rodriguez Yakushev, Stefan Holdermans, Johan Jeuring, Bastiaan Heeren, José Pedro Magalhães A lightweight approach to datatype-generic rewriting. Search on Bibsonomy J. Funct. Program. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1José Pedro Magalhães, Stefan Holdermans, Johan Jeuring, Andres Löh Optimizing generics is easy! Search on Bibsonomy PEPM The full citation details ... 2010 DBLP  DOI  BibTeX  RDF optimization, benchmark, functional programming, haskell, generic programming
1Martijn Van Steenbergen, José Pedro Magalhães, Johan Jeuring Generic selections of subexpressions. Search on Bibsonomy ICFP-WGP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Bastiaan Heeren, Johan Jeuring Adapting Mathematical Domain Reasoners. Search on Bibsonomy AISC/MKM/Calculemus The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Alex Gerdes, Johan Jeuring, Bastiaan Heeren Using strategies for assessment of programming exercises. Search on Bibsonomy SIGCSE The full citation details ... 2010 DBLP  DOI  BibTeX  RDF functional programming, haskell, strategies, automatic assessment
1José Pedro Magalhães, Atze Dijkstra, Johan Jeuring, Andres Löh A generic deriving mechanism for Haskell. Search on Bibsonomy Haskell The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Bastiaan Heeren, Johan Jeuring Recognizing Strategies. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Bastiaan Heeren, Johan Jeuring Canonical Forms in Interactive Exercise Assistants. Search on Bibsonomy Calculemus/MKM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Alex Gerdes, Bastiaan Heeren, Johan Jeuring Constructing Strategies for Programming. Search on Bibsonomy CSEDU The full citation details ... 2009 DBLP  BibTeX  RDF
1Alexey Rodriguez Yakushev, Stefan Holdermans, Andres Löh, Johan Jeuring Generic programming with fixed points for mutually recursive datatypes. Search on Bibsonomy ICFP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF mutually recursive datatypes, haskell, fixed points, datatype-generic programming
1Alexey Rodriguez Yakushev, Johan Jeuring Enumerating Well-Typed Terms Generically. Search on Bibsonomy AAIP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Eelco Dolstra, Jurriaan Hage, Bastiaan Heeren, Stefan Holdermans, Johan Jeuring, Andres Löh, Clara Löh, Arie Middelkoop, Alexey Rodriguez, John van Schie Report on the tenth ICFP programming contest. Search on Bibsonomy ICFP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF reverse engineering, programming contest
1Thomas van Noort, Alexey Rodriguez, Stefan Holdermans, Johan Jeuring, Bastiaan Heeren A lightweight approach to datatype-generic rewriting. Search on Bibsonomy ICFP-WGP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF term rewriting, datatype-generic programming
1Johan Jeuring, Sean Leather, José Pedro Magalhães, Alexey Rodriguez Yakushev Libraries for Generic Programming in Haskell. Search on Bibsonomy Advanced Functional Programming The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Bastiaan Heeren, Johan Jeuring, Arthur van Leeuwen, Alex Gerdes Specifying Strategies for Exercises. Search on Bibsonomy AISC/MKM/Calculemus The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Alexey Rodriguez, Johan Jeuring, Patrik Jansson, Alex Gerdes, Oleg Kiselyov, Bruno C. d. S. Oliveira Comparing libraries for generic programming in haskell. Search on Bibsonomy Haskell The full citation details ... 2008 DBLP  DOI  BibTeX  RDF libraries comparison, datatype-generic programming
1Frank Atanassow, Johan Jeuring Customizing an XML-Haskell data binding with type isomorphism inference in Generic Haskell. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Johan Jeuring, Alexey Rodriguez, Gideon Smeding Generating generic functions. Search on Bibsonomy ICFP-WGP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF generic programming, automated testing, program synthesis, generalized algebraic data types
1Ralf Hinze, Johan Jeuring, Andres Löh Typed Contracts for Functional Programming. Search on Bibsonomy FLOPS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Stefan Holdermans, Johan Jeuring, Andres Löh, Alexey Rodriguez Generic Views on Data Types. Search on Bibsonomy MPC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Patrik Jansson, Johan Jeuring, Laurence Cabenda, Gerbo Engels, Jacob Kleerekoper, Sander Mak, Michiel Overeem, Kees Visser Testing Properties of Generic Functions. Search on Bibsonomy IFL The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Harrie Passier, Johan Jeuring Using Schema Analysis for Feedback in Authoring Tools for Learning Environments. Search on Bibsonomy AIED The full citation details ... 2005 DBLP  BibTeX  RDF
1Ralf Hinze, Johan Jeuring, Andres Löh Type-indexed data types. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Frank Atanassow, Dave Clarke, Johan Jeuring UUXML: A Type-Preserving XML Schema-Haskell Data Binding. Search on Bibsonomy PADL The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Frank Atanassow, Johan Jeuring Inferring Type Isomorphisms Generically. Search on Bibsonomy MPC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Andres Löh, Dave Clarke, Johan Jeuring Dependency-style generic haskell. Search on Bibsonomy SIGPLAN Notices The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Andres Löh, Dave Clarke, Johan Jeuring Dependency-style generic Haskell. Search on Bibsonomy ICFP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF generic haskell, functional programming, type systems, generic programming
1Johan Jeuring, Simon L. Peyton Jones (eds.) Advanced Functional Programming, 4th International School, AFP 2002, Oxford, UK, August 19-24, 2002, Revised Lectures Search on Bibsonomy Advanced Functional Programming The full citation details ... 2003 DBLP  BibTeX  RDF
1Jeremy Gibbons, Johan Jeuring (eds.) Generic Programming, IFIP TC2/WG2.1 Working Conference on Generic Programming, July 11-12, 2002, Dagstuhl, Germany Search on Bibsonomy Generic Programming The full citation details ... 2003 DBLP  BibTeX  RDF
1Ralf Hinze, Johan Jeuring Generic Haskell: Practice and Theory. Search on Bibsonomy Generic Programming The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Ralf Hinze, Johan Jeuring Generic Haskell: Applications. Search on Bibsonomy Generic Programming The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Patrik Jansson, Johan Jeuring Polytypic data conversion programs. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Ralf Hinze, Johan Jeuring, Andres Löh Type-Indexed Data Types. Search on Bibsonomy MPC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Ralf Hinze, Johan Jeuring Weaving a web. Search on Bibsonomy J. Funct. Program. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Patrik Jansson, Johan Jeuring Polytypic Compact Printing and Parsing. Search on Bibsonomy ESOP The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Patrik Jansson, Johan Jeuring Polytypic Unification. Search on Bibsonomy J. Funct. Program. The full citation details ... 1998 DBLP  BibTeX  RDF
1Roland Carl Backhouse, Patrik Jansson, Johan Jeuring, Lambert G. L. T. Meertens Generic Programming: An Introduction. Search on Bibsonomy Advanced Functional Programming The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Johan Jeuring (eds.) Mathematics of Program Construction, MPC'98, Marstrand, Sweden, June 15-17, 1998, Proceedings Search on Bibsonomy MPC The full citation details ... 1998 DBLP  BibTeX  RDF
1Patrik Jansson, Johan Jeuring Polyp - A Polytypic Programming Language. Search on Bibsonomy POPL The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Johan Jeuring, Patrik Jansson Polytypic Programming. Search on Bibsonomy Advanced Functional Programming The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Johan Jeuring, Erik Meijer (eds.) Advanced Functional Programming, First International Spring School on Advanced Functional Programming Techniques, Båstad, Sweden, May 24-30, 1995, Tutorial Text Search on Bibsonomy Advanced Functional Programming The full citation details ... 1995 DBLP  BibTeX  RDF
1Erik Meijer, Johan Jeuring Merging Monads and Folds for Functional Programming. Search on Bibsonomy Advanced Functional Programming The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Johan Jeuring Polytypic Pattern Matching. Search on Bibsonomy FPCA The full citation details ... 1995 DBLP  BibTeX  RDF
1Johan Jeuring, S. Doaitse Swierstra Constructing Functional Programs for Grammar Analysis Problems. Search on Bibsonomy FPCA The full citation details ... 1995 DBLP  BibTeX  RDF
1Johan Jeuring The Derivation of On-Line Algorithms, with an Application To Finding Palindromes. Search on Bibsonomy Algorithmica The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Johan Jeuring, S. Doaitse Swierstra Bottom-up Grammar Analysis - A Functional Formulation. Search on Bibsonomy ESOP The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #50 of 50 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.