The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Johan Jeuring: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Ralf Hinze, Johan Jeuring
    Generic Haskell: Practice and Theory. [Citation Graph (0, 0)][DBLP]
    Generic Programming, 2003, pp:1-56 [Conf]
  2. Ralf Hinze, Johan Jeuring
    Generic Haskell: Applications. [Citation Graph (0, 0)][DBLP]
    Generic Programming, 2003, pp:57-96 [Conf]
  3. Roland Carl Backhouse, Patrik Jansson, Johan Jeuring, Lambert G. L. T. Meertens
    Generic Programming: An Introduction. [Citation Graph (0, 0)][DBLP]
    Advanced Functional Programming, 1998, pp:28-115 [Conf]
  4. Johan Jeuring, Patrik Jansson
    Polytypic Programming. [Citation Graph (0, 0)][DBLP]
    Advanced Functional Programming, 1996, pp:68-114 [Conf]
  5. Erik Meijer, Johan Jeuring
    Merging Monads and Folds for Functional Programming. [Citation Graph (0, 0)][DBLP]
    Advanced Functional Programming, 1995, pp:228-266 [Conf]
  6. Patrik Jansson, Johan Jeuring
    Polytypic Compact Printing and Parsing. [Citation Graph (0, 0)][DBLP]
    ESOP, 1999, pp:273-287 [Conf]
  7. Johan Jeuring, S. Doaitse Swierstra
    Bottom-up Grammar Analysis - A Functional Formulation. [Citation Graph (0, 0)][DBLP]
    ESOP, 1994, pp:317-332 [Conf]
  8. Ralf Hinze, Johan Jeuring, Andres Löh
    Typed Contracts for Functional Programming. [Citation Graph (0, 0)][DBLP]
    FLOPS, 2006, pp:208-225 [Conf]
  9. Johan Jeuring
    Polytypic Pattern Matching. [Citation Graph (0, 0)][DBLP]
    FPCA, 1995, pp:238-248 [Conf]
  10. Johan Jeuring, S. Doaitse Swierstra
    Constructing Functional Programs for Grammar Analysis Problems. [Citation Graph (0, 0)][DBLP]
    FPCA, 1995, pp:259-269 [Conf]
  11. Andres Löh, Dave Clarke, Johan Jeuring
    Dependency-style generic Haskell. [Citation Graph (0, 0)][DBLP]
    ICFP, 2003, pp:141-152 [Conf]
  12. Frank Atanassow, Johan Jeuring
    Inferring Type Isomorphisms Generically. [Citation Graph (0, 0)][DBLP]
    MPC, 2004, pp:32-53 [Conf]
  13. Ralf Hinze, Johan Jeuring, Andres Löh
    Type-Indexed Data Types. [Citation Graph (0, 0)][DBLP]
    MPC, 2002, pp:148-174 [Conf]
  14. Stefan Holdermans, Johan Jeuring, Andres Löh, Alexey Rodriguez
    Generic Views on Data Types. [Citation Graph (0, 0)][DBLP]
    MPC, 2006, pp:209-234 [Conf]
  15. Frank Atanassow, Dave Clarke, Johan Jeuring
    UUXML: A Type-Preserving XML Schema-Haskell Data Binding. [Citation Graph (0, 0)][DBLP]
    PADL, 2004, pp:71-85 [Conf]
  16. Patrik Jansson, Johan Jeuring
    Polyp - A Polytypic Programming Language. [Citation Graph (0, 0)][DBLP]
    POPL, 1997, pp:470-482 [Conf]
  17. Johan Jeuring
    The Derivation of On-Line Algorithms, with an Application To Finding Palindromes. [Citation Graph (0, 0)][DBLP]
    Algorithmica, 1994, v:11, n:2, pp:146-184 [Journal]
  18. Ralf Hinze, Johan Jeuring
    Weaving a web. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 2001, v:11, n:6, pp:681-689 [Journal]
  19. Patrik Jansson, Johan Jeuring
    Polytypic Unification. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 1998, v:8, n:5, pp:527-536 [Journal]
  20. Ralf Hinze, Johan Jeuring, Andres Löh
    Type-indexed data types. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2004, v:51, n:1-2, pp:117-151 [Journal]
  21. Patrik Jansson, Johan Jeuring
    Polytypic data conversion programs. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2002, v:43, n:1, pp:35-75 [Journal]
  22. Frank Atanassow, Johan Jeuring
    Customizing an XML-Haskell data binding with type isomorphism inference in Generic Haskell. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2007, v:65, n:2, pp:72-107 [Journal]
  23. Patrik Jansson, Johan Jeuring, Laurence Cabenda, Gerbo Engels, Jacob Kleerekoper, Sander Mak, Michiel Overeem, Kees Visser
    Testing Properties of Generic Functions. [Citation Graph (0, 0)][DBLP]
    IFL, 2006, pp:217-234 [Conf]

  24. Libraries for Generic Programming in Haskell. [Citation Graph (, )][DBLP]


  25. Using Schema Analysis for Feedback in Authoring Tools for Learning Environments. [Citation Graph (, )][DBLP]


  26. Specifying Strategies for Exercises. [Citation Graph (, )][DBLP]


  27. Adapting Mathematical Domain Reasoners. [Citation Graph (, )][DBLP]


  28. A lightweight approach to datatype-generic rewriting. [Citation Graph (, )][DBLP]


  29. Generic programming with fixed points for mutually recursive datatypes. [Citation Graph (, )][DBLP]


  30. Generating generic functions. [Citation Graph (, )][DBLP]


  31. Report on the tenth ICFP programming contest. [Citation Graph (, )][DBLP]


  32. Canonical Forms in Interactive Exercise Assistants. [Citation Graph (, )][DBLP]


  33. Optimizing generics is easy! [Citation Graph (, )][DBLP]


  34. Using strategies for assessment of programming exercises. [Citation Graph (, )][DBLP]


  35. Comparing libraries for generic programming in haskell. [Citation Graph (, )][DBLP]


  36. Constructing Strategies for Programming. [Citation Graph (, )][DBLP]


  37. Enumerating Well-Typed Terms Generically. [Citation Graph (, )][DBLP]


  38. Adapting Mathematical Domain Reasoners [Citation Graph (, )][DBLP]


  39. Recognizing Strategies. [Citation Graph (, )][DBLP]


Search in 0.018secs, Finished in 0.020secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002