Documents Related by Co-Citation

172 Refinement types for ML – Tim Freeman - 1994
111 Design of the Programming Language Forsythe – John C. Reynolds - 1996
30 A Unified System of Type Refinements – Joshua Dunfield, Jonathan Aldrich, Robert Harper - 2007
56 Functional characters of solvable terms. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik – M Coppo, M Dezani-Ciancaglini, B Venneri - 1981
65 Intersection Types and Computational Effects – Rowan Davies, Frank Pfenning - 2000
290 Dependent Types in Practical Programming – Hongwei Xi, Dana Scott - 1998
696 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
36 Tridirectional Typechecking – Joshua Dunfield, Frank Pfenning - 2004
21 Type Assignment for Intersections and Unions in Call-by-Value Languages – Joshua Dunfield, Frank Pfenning
50 Programming With Intersection Types, Union Types, and Polymorphism – Benjamin C. Pierce - 1991
187 Soft typing with conditional types – Er Aiken - 1994
14 A bidirectional refinement type system for LF – William Lovas, Frank Pfenning
192 Soft Typing – Robert Cartwright, Mike Fagan - 1991
116 Inheritance As Implicit Coercion – Val Breazu-tannen, Thierry Coquand, Carl A. Gunter, Andre Scedrov - 1991
70 Subtyping Dependent Types – David Aspinall, Adriana Compagnoni - 2000
83 On Equivalence and Canonical Forms in the LF Type Theory – Robert Harper, Frank Pfenning - 2001
51 Mechanizing metatheory in a logical framework – R Harper, D R Licata - 2007
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