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
227 Functional Data Structures – Chris Okasaki - 1996
216 Cayenne -- a Language With Dependent Types – Lennart Augustsson - 1998
79 Nested datatypes – Richard Bird, Lambert Meertens - 1998
289 Dependent Types in Practical Programming – Hongwei Xi, Dana Scott - 1998
34 Generalised Folds for Nested Datatypes – Richard Bird, Ross Paterson - 1999
195 A Short Cut to Deforestation – Andrew Gill, John Launchbury, Simon L Peyton Jones - 1993
174 PolyP - a polytypic programming language extension – Patrik Jansson, Johan Jeuring - 1997
102 98: A non-strict, purely functional language. http://www.haskell.org – Simon L Peyton Jones, John Hughes - 1999
342 Intuitionistic type theory – P Martin-Löf - 1984
124 Unification under a mixed prefix – Dale Miller - 1992
358 Principal type-schemes for functional programs – L Damas, R Milner - 1982
77 Monadic Presentations of Lambda Terms Using Generalized Inductive Types – Thorsten Altenkirch, Bernhard Reus - 1999
27 et al. Haskell 98: A non-strict, purely functional language – S Peyton Jones, J Hughes - 1999
107 Polytypic Values Possess Polykinded Types – Ralf Hinze - 2000
172 Refinement types for ML – Tim Freeman - 1994
70 Dependently Typed Functional Programs and their Proofs – Conor Mcbride - 1999
169 Eliminating Array Bound Checking Through Dependent Types – Hongwei Xi, Frank Pfennig - 1998