Documents Related by Co-Citation

151 Refinement types for ML – Tim Freeman - 1994
49 Functional Characters of Solvable Terms. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik – M Coppo, M Dezani-Ciancaglini, B Venneri - 1981
104 Design of the Programming Language Forsythe – John C. Reynolds - 1996
58 Intersection Types and Computational Effects – Rowan Davies, Frank Pfenning - 2000
272 Dependent Types in Practical Programming – Hongwei Xi, Dana Scott - 1998
49 Programming With Intersection Types, Union Types, and Polymorphism – Benjamin C. Pierce - 1991
18 Type Assignment for Intersections and Unions in Call-by-Value Languages – Joshua Dunfield, Frank Pfenning
19 A Unified System of Type Refinements – Joshua Dunfield, Jonathan Aldrich, Robert Harper - 2007
182 Soft typing with conditional types – Er Aiken - 1994
634 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
175 Soft Typing – Robert Cartwright, Mike Fagan - 1991
573 The Definition of Standard ML (Revised – Robin Milner, Mads Tofte, Robert Harper, David MacQueen - 1997
150 How Good is Local Type Inference? – Haruo Hosoya, Benjamin C. Pierce - 1999
76 Combining programming with theorem proving – Chiyan Chen, Hongwei Xi - 2005
203 A Linear Logical Framework – Iliano Cervesato, Frank Pfenning - 1996
39 From Polyvariant Flow Information to Intersection and Union Types – Jens Palsberg , Christina Pavlopoulou - 1998
56 An Effective Theory of Type Refinements – Yitzhak Mandelbaum, David Walker, Robert Harper - 2002
196 Functional Data Structures – Chris Okasaki - 1996
60 The Krakatoa Tool for Certification of Java/JavaCard Programs Annotated in JML – C. Marche, C. Paulin-mohring, X. Urbain - 2003