Documents Related by Co-Citation

290 Dependent Types in Practical Programming – Hongwei Xi, Dana Scott - 1998
105 Phantom Types – James Cheney, Ralf Hinze - 2003
548 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
944 A theory of type polymorphism in programming – Robin Milner - 1978
158 Simple unification-based type inference for GADTs – Simon Peyton Jones - 2006
758 Eiffel: the language – B Meyer - 1992
717 Separation Logic: A Logic for Shared Mutable Data Structures – John Reynolds - 2002
1390 An axiomatic basis for computer programming – C. A. R. Hoare - 1969
166 How Good is Local Type Inference? – Haruo Hosoya, Benjamin C. Pierce - 1999