The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Ralf Hinze: [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. Ralf Hinze
    Prological Features in a Functional Setting Axioms and Implementation. [Citation Graph (0, 0)][DBLP]
    Fuji International Symposium on Functional and Logic Programming, 1998, pp:98-122 [Conf]
  4. Ralf Hinze
    Polytypic Programming With Ease (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    Fuji International Symposium on Functional and Logic Programming, 1999, pp:21-36 [Conf]
  5. Ralf Hinze, Johan Jeuring, Andres Löh
    Typed Contracts for Functional Programming. [Citation Graph (0, 0)][DBLP]
    FLOPS, 2006, pp:208-225 [Conf]
  6. Ralf Hinze, Andres Löh, Bruno C. D. S. Oliveira
    "Scrap Your Boilerplate" Reloaded. [Citation Graph (0, 0)][DBLP]
    FLOPS, 2006, pp:13-29 [Conf]
  7. Ralf Hinze
    Deriving backtracking monad transformers. [Citation Graph (0, 0)][DBLP]
    ICFP, 2000, pp:186-197 [Conf]
  8. Ralf Hinze
    A Simple Implementation Technique for Priority Search Queues. [Citation Graph (0, 0)][DBLP]
    ICFP, 2001, pp:110-121 [Conf]
  9. Ralf Hinze
    Bootstrapping one-sided flexible arrays. [Citation Graph (0, 0)][DBLP]
    ICFP, 2002, pp:2-13 [Conf]
  10. Ralf Hinze
    Generics for the masses. [Citation Graph (0, 0)][DBLP]
    ICFP, 2004, pp:236-243 [Conf]
  11. Ralf Hinze
    Polytypic Values Possess Polykinded Types. [Citation Graph (0, 0)][DBLP]
    MPC, 2000, pp:2-27 [Conf]
  12. Ralf Hinze
    Constructing Tournament Representations: An Exercise in Pointwise Relational Programming. [Citation Graph (0, 0)][DBLP]
    MPC, 2002, pp:131-147 [Conf]
  13. Ralf Hinze
    An Algebra of Scans. [Citation Graph (0, 0)][DBLP]
    MPC, 2004, pp:186-210 [Conf]
  14. Ralf Hinze, Johan Jeuring, Andres Löh
    Type-Indexed Data Types. [Citation Graph (0, 0)][DBLP]
    MPC, 2002, pp:148-174 [Conf]
  15. Ralf Hinze, Andres Löh
    "Scrap Your Boilerplate" Revolutions. [Citation Graph (0, 0)][DBLP]
    MPC, 2006, pp:180-208 [Conf]
  16. Ralf Hinze
    A New Approach to Generic Functional Programming. [Citation Graph (0, 0)][DBLP]
    POPL, 2000, pp:119-132 [Conf]
  17. Andres Löh, Ralf Hinze
    Open data types and open functions. [Citation Graph (0, 0)][DBLP]
    PPDP, 2006, pp:133-144 [Conf]
  18. Ralf Hinze
    Polytypic Functions Over Nested Datatypes. [Citation Graph (0, 0)][DBLP]
    Discrete Mathematics & Theoretical Computer Science, 1999, v:3, n:4, pp:193-214 [Journal]
  19. Ralf Hinze, Simon L. Peyton Jones
    Derivable Type Classes. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2000, v:41, n:1, pp:- [Journal]
  20. Ralf Hinze
    Prolog's Control Constructs in a Functional Setting - Axioms and Implementation. [Citation Graph (0, 0)][DBLP]
    Int. J. Found. Comput. Sci., 2001, v:12, n:2, pp:125-170 [Journal]
  21. Ralf Hinze
    Polytypic Programming With Ease. [Citation Graph (0, 0)][DBLP]
    Journal of Functional and Logic Programming, 2001, v:2001, n:3, pp:- [Journal]
  22. Ralf Hinze
    Perfect trees and bit-reversal permutations. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 2000, v:10, n:3, pp:305-317 [Journal]
  23. Ralf Hinze
    Generalizing generalized tries. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 2000, v:10, n:4, pp:327-351 [Journal]
  24. Ralf Hinze
    Manufacturing datatypes. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 2001, v:11, n:5, pp:493-524 [Journal]
  25. Ralf Hinze
    A fresh look at binary search trees. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 2002, v:12, n:6, pp:601-607 [Journal]
  26. Ralf Hinze
    Formatting: a class act. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 2003, v:13, n:5, pp:935-944 [Journal]
  27. Ralf Hinze
    Special issue on functional pearls Editorial. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 2004, v:14, n:6, pp:601-601 [Journal]
  28. Ralf Hinze
    Church numerals, twice! [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 2005, v:15, n:1, pp:1-13 [Journal]
  29. Ralf Hinze
    Explaining Binomial Heaps. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 1999, v:9, n:1, pp:93-104 [Journal]
  30. Ralf Hinze, Johan Jeuring
    Weaving a web. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 2001, v:11, n:6, pp:681-689 [Journal]
  31. Ralf Hinze, Ross Paterson
    Finger trees: a simple general-purpose data structure. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 2006, v:16, n:2, pp:197-217 [Journal]
  32. Ralf Hinze
    Generics for the masses. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 2006, v:16, n:4-5, pp:451-483 [Journal]
  33. Ralf Hinze
    Polytypic values possess polykinded types. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2002, v:43, n:2-3, pp:129-159 [Journal]
  34. 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]
  35. Bruno C. D. S. Oliveira, Ralf Hinze, Andres Löh
    Extensible and modular generics for the masses. [Citation Graph (0, 0)][DBLP]
    Trends in Functional Programming, 2006, pp:199-216 [Conf]

  36. Functional pearl: streams and unique fixed points. [Citation Graph (, )][DBLP]


  37. Functional pearl: la tour d'Hanoï. [Citation Graph (, )][DBLP]


  38. Exploiting Unique Fixed Points. [Citation Graph (, )][DBLP]


  39. Adjoint Folds and Unfolds. [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.303secs
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
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002