Soundness and Principal Contexts for a Shallow Polymorphic Type System based on Classical Logic

View PDF


by Alexander J. Summers
Citations:1 - 0 self

Active Bibliography

5 Curry-Howard Term Calculi for Gentzen-Style Classical Logic – Alexander J. Summers, Alexander Summers - 2008
16 Computation with classical sequents – Steffen van Bakel, Pierre Lescanne - 2008
798 On understanding types, data abstraction, and polymorphism – Luca Cardelli, Peter Wegner - 1985
576 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
618 From System F to Typed Assembly Language – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998
716 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
1586 Some philosophical problems from the standpoint of artificial intelligence – John McCarthy, Patrick J. Hayes - 1969
4 X : a diagrammatic calculus with a classical fragrance – Pierre Lescanne, Ecole Normale, Universite ́ De Lyon
424 Deforestation: Transforming programs to eliminate trees – P Wadler - 1990