Active Bibliography

3 Unification in a λ-Calculus with Intersection Types – Michael Kohlhase, Frank Pfenning
2 Refinement Types for Logical Frameworks – William Lovas - 2010
This is brought to you for free and open access by the Theses and Dissertations at Research Showcase. It has been accepted for inclusion in Dissertations by an authorized administrator of Research Showcase. For more information, please contact research-sh – William Lovas, William Lovas - 2010
217 A Linear Logical Framework – Iliano Cervesato, Frank Pfenning - 1996
15 Advanced Languages for Systems Software The Fox Project in 1994 – Robert Harper, Peter Lee - 1994
34 Practical Refinement-Type Checking – Rowan Davies, Frank Pfenning - 1997
37 Intersection Types and Bounded Polymorphism – Benjamin C. Pierce - 1996
67 Programming with Intersection Types and Bounded Polymorphism – Benjamin C. Pierce - 1991
28 An Empirical Study of the Runtime Behavior of Higher-Order Logic Programs – Spiro Michaylov, Frank Pfenning - 1992
36 A Proof of the Church-Rosser Theorem and its Representation in a Logical Framework – Frank Pfenning - 1992
7 Elf: A Meta-Language for Deductive Systems (System Description) – Frank Pfenning - 1994
32 Implementing the Meta-Theory of Deductive Systems – Frank Pfenning, Ekkehard Rohwedder - 1992
6 Representing Proof Transformations for Program Optimization – Penny Anderson - 1994
17 A Structural Proof of Cut Elimination and Its Representation in a Logical Framework – Frank Pfenning - 1994
10 Elimination of Negation in a Logical Framework – Alberto Momigliano - 2000
2 Elaborating Intersection and Union Types – Joshua Dunfield
62 Intersection Type Assignment Systems – Steffen Van Bakel - 1995
7 Combining two forms of type refinements – Joshua Dunfield - 2002
36 Tridirectional Typechecking – Joshua Dunfield, Frank Pfenning - 2004