Documents Related by Co-Citation

68 De Bruijn notation as a nested datatype – Richard S. Bird, Ross Paterson, Sir Arthur, Conan Doyle - 1999
29 From fast exponentiation to square matrices: an adventure in types – C Okasaki - 1999
226 Functional Data Structures – Chris Okasaki - 1996
178 PolyP - a polytypic programming language extension – Patrik Jansson, Johan Jeuring - 1997
219 Cayenne -- a Language With Dependent Types – Lennart Augustsson - 1998
79 Nested datatypes – Richard Bird, Lambert Meertens - 1998
193 A Short Cut to Deforestation – Andrew Gill, John Launchbury, Simon L Peyton Jones - 1993
96 A New Approach to Generic Functional Programming – Ralf Hinze - 1999
107 Polytypic Values Possess Polykinded Types – Ralf Hinze - 2000
124 Unification under a mixed prefix – Dale Miller - 1992
357 Principal type-schemes for functional programs. Pages 207–212 of – Luis Damas, Robin Milner - 1982
34 Generalised Folds for Nested Datatypes – Richard Bird, Ross Paterson - 1999
77 Monadic Presentations of Lambda Terms Using Generalized Inductive Types – Thorsten Altenkirch, Bernhard Reus - 1999
153 Type classes with functional dependencies – Mark P. Jones - 2000
10 Generalised folds for nested datatypes. Formal Aspects of Computing 11(2 – R Bird, R Paterson - 1999
11 Efficient Generalized Folds – Ralf Hinze - 1999
290 Dependent Types in Practical Programming – Hongwei Xi, Dana Scott - 1998
5 Simple, partial type inference for System F, based on type containment – Didier Rémy - 2005
103 Polymorphic type inference and containment – J C Mitchell - 1984