Active Bibliography

18 Principals in Programming Languages: A Syntactic Proof Technique – Steve Zdancewic, Dan Grossman, Greg Morrisett - 1999
55 Semantics of Types for Mutable State – Amal Jamil Ahmed - 2004
Quantified Types in an . . . – Dan Grossman
74 Parametric Polymorphism and Operational Equivalence – Andrew M. Pitts - 2000
3 Principals in Programming Languages – Steve Zdancewic , Dan Grossman, Greg Morrisett - 1999
2 A higher-order simulation relation for System F – Jo Erskine Hannay - 2000
1 Specification Refinement with System F, The Higher-Order Case – Jo Erskine Hannay - 2000
11 Parametricity as a Notion of Uniformity in Reflexive Graphs – Brian Patrick Dunphy - 2002
38 Logical Relations for Encryption – Eijiro Sumii, Benjamin C. Pierce - 2002
24 Notes on Sconing and Relators – John C. Mitchell, Andre Scedrov - 1993
4 Genericity and the π-Calculus – Martin Berger, Kohei Honda, Nobuko Yoshida - 2003
29 Sequentiality and the π-Calculus – Martin Berger, Kohei Honda, Nobuko Yoshida - 2001
29 Domains and Denotational Semantics: History, Accomplishments and Open Problems – Marcelo Fiore, Achim Jung, Eugenio Moggi, Peter O'Hearn, Jon Riecke, Giuseppe Rosolini, Ian Stark - 1996
4 Relating Cryptography and Polymorphism – Benjamin Pierce, Eijiro Sumii - 2000
31 Existential Types: Logical Relations and Operational Equivalence – Andrew M. Pitts - 1998
218 Information flow inference for ML – François Pottier, Vincent Simonet
1 Semantic Orthogonality of Type Disciplines – Jon G. Riecke, Ramesh Subrahmanyam - 1997
11 Programming With Types – Stephanie Claudene Weirich - 2002
22 Type-Theoretic Methodology For Practical Programming Languages – Karl Fredrick Crary - 1998