Documents Related by Co-Citation

172 Refinement types for ML – Tim Freeman - 1994
109 Design of the Programming Language Forsythe – John C. Reynolds - 1996
54 Functional characters of solvable terms. Zeitschrift für Mathematische Logik und 81 der Mathematik – M Coppo, M Dezani-Ciancaglini, B Venneri - 1981
65 Intersection Types and Computational Effects – Rowan Davies, Frank Pfenning - 2000
289 Dependent Types in Practical Programming – Hongwei Xi, Dana Scott - 1998
50 Programming With Intersection Types, Union Types, and Polymorphism – Benjamin C. Pierce - 1991
30 A Unified System of Type Refinements – Joshua Dunfield, Jonathan Aldrich, Robert Harper - 2007
187 Soft typing with conditional types – Er Aiken - 1994
192 Soft Typing – Robert Cartwright, Mike Fagan - 1991
696 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
605 The Definition of Standard ML (Revised – R Milner, M Tofte, R Harper, D MacQueen - 1997
21 Type Assignment for Intersections and Unions in Call-by-Value Languages – Joshua Dunfield, Frank Pfenning
166 How Good is Local Type Inference? – Haruo Hosoya, Benjamin C. Pierce - 1999
87 Toward a Foundational Typed Assembly Language – Karl Crary - 2002
83 On Equivalence and Canonical Forms in the LF Type Theory – Robert Harper, Frank Pfenning - 2001
68 Subtyping Dependent Types – David Aspinall, Adriana Compagnoni - 2000
51 Mechanizing Metatheory in a Logical Framework – Robert Harper, Daniel R Licata - 2007
74 Mechanizing the Metatheory of Standard ML – Daniel K. Lee, Karl Crary, Robert Harper - 2006
42 Refinement Types for Logical Frameworks – Frank Pfenning - 1993