Documents Related by Co-Citation

137 Guarded Recursive Datatype Constructors – Hongwei Xi, Chiyan Chen, Gang Chen - 2003
111 Phantom Types – James Cheney, Ralf Hinze - 2003
184 Towards a practical programming language based on dependent type theory – Ulf Norell - 2007
515 Interactive Theorem Proving and Program Development. Coq’Art: The Calculus of Inductive Constructions. Texts in Theoretical Computer Science. An EATCS series – Y Bertot, P Castéran - 2004
716 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
1353 Monads for functional programming – Philip Wadler - 1995
985 A theory of type polymorphism in programming – Robin Milner - 1978
469 The formulae-as-types notion of construction – W Howard - 1980
1713 The Java Language Specification – James Gosling, Bill Joy, Guy Steele, Gilad Bracha - 2000