Documents Related by Co-Citation

34 Partial objects in constructive type theory – R L Constable, S Smith - 1987
478 The calculus of constructions – G Huet Coquand - 1988
441 The formulas-as-types notion of construction – W A Howard - 1980
1465 Object-oriented Software Construction – Bertrand Meyer - 1988
734 Notions of Computation and Monads – Eugenio Moggi - 1991
595 From System F to Typed Assembly Language – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998
520 Lambda Calculi with Types – Henk Barendregt, S. Abramsky, D. M. Gabbay, T. S. E. Maibaum, H. P. Barendregt - 1992
611 The Definition of Standard ML (Revised – Robin Milner, Mads Tofte, Robert Harper, David MacQueen - 1997
1318 Monads for functional programming – Philip Wadler - 1995