Documents Related by Co-Citation

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