Documents Related by Co-Citation

300 Dependent Types in Practical Programming – Hongwei Xi, Dana Scott - 1998
576 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
790 Eiffel: the language – Bertrand Meyer - 1992
761 Separation Logic: A Logic for Shared Mutable Data Structures – John Reynolds - 2002
1484 An axiomatic basis for computer programming – C. A. R. Hoare - 1969
1165 Proof-Carrying Code – George C. Necula - 1997
561 The implementation of functional programming languages – S L Peyton Jones - 1987
766 Notions of Computation and Monads – Eugenio Moggi - 1991
879 A formulation of the simple theory of types – A Church - 1940