Documents Related by Co-Citation

72 De Bruijn notation as a nested datatype – Richard S. Bird, Ross Paterson, Sir Arthur, Conan Doyle - 1999
243 Functional Data Structures – Chris Okasaki - 1996
224 Cayenne -- a Language With Dependent Types – Lennart Augustsson - 1998
179 PolyP - a polytypic programming language extension – Patrik Jansson, Johan Jeuring - 1997
29 From fast exponentiation to square matrices: an adventure in types – Chris Okasaki - 1999
514 Categories for the working mathematician – Saunders MacLane - 1971
1626 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
1184 The Lambda Calculus: Its Syntax and Semantics – H P Barendregt - 1984
985 A theory of type polymorphism in programming – Robin Milner - 1978