Documents Related by Co-Citation

172 Refinement types for ML – Tim Freeman - 1994
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
111 Design of the Programming Language Forsythe – John C. Reynolds - 1996
696 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
65 Intersection Types and Computational Effects – Rowan Davies, Frank Pfenning - 2000
290 Dependent Types in Practical Programming – Hongwei Xi, Dana Scott - 1998
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
36 Tridirectional Typechecking – Joshua Dunfield, Frank Pfenning - 2004
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
51 Mechanizing metatheory in a logical framework – R Harper, D R Licata - 2007
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
357 Simplify: A theorem prover for program checking – David Detlefs, Greg Nelson, James B. Saxe - 2003