Languages of the Future (2004)

Cached

Download Links

by Tim Sheard
Venue:In OOPSLA ’04: Companion to the 19th annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications
Citations:69 - 3 self

Documents Related by Co-Citation

290 Dependent Types in Practical Programming – Hongwei Xi, Dana Scott - 1998
219 Cayenne -- a Language With Dependent Types – Lennart Augustsson - 1998
129 Guarded Recursive Datatype Constructors – Hongwei Xi, Chiyan Chen, Gang Chen - 2003
151 The view from the left – Conor McBride, James McKinna
102 Phantom Types – James Cheney, Ralf Hinze - 2003
85 Combining programming with theorem proving – Chiyan Chen, Hongwei Xi - 2005
159 Simple unification-based type inference for GADTs – Simon Peyton Jones - 2006
37 Stratified type inference for generalized algebraic data types – Ois Pottier Yann R'egis-gianas - 2006
76 Inductive Sets and Families in Martin-Löf's Type Theory and Their Set-Theoretic Semantics – Peter Dybjer - 1991
48 Wobbly types: type inference for generalised algebraic data types – Simon Peyton Jones, Geoffrey Washburn, Stephanie Weirich - 2004
38 Applied Type System (extended abstract – Hongwei Xi - 2004
696 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
118 Hybrid type checking – C Flanagan - 2006
84 A type system for certified binaries – Zhong Shao, Valery Trifonov, Bratin Saha, Nikolaos Papaspyrou - 2002
25 Constraint-Based Type Inference for Guarded Algebraic Data Types – Vincent Simonet, François Pottier - 2003
57 Typing dynamic typing – Arthur I. Baars, S. Doaitse Swierstra - 2002
15 Applied type system – Hongwei Xi - 2004
33 Fun with phantom types – R Hinze - 2003
29 Indexed types – C Zenger - 1997