Languages of the Future (2004)

View PDF

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:73 - 3 self

Documents Related by Co-Citation

300 Dependent Types in Practical Programming – Hongwei Xi, Dana Scott - 1998
137 Guarded Recursive Datatype Constructors – Hongwei Xi, Chiyan Chen, Gang Chen - 2003
111 Phantom Types – James Cheney, Ralf Hinze - 2003
224 Cayenne -- a Language With Dependent Types – Lennart Augustsson - 1998
164 The view from the left – C McBride, J McKinna
168 Simple unification-based type inference for GADTs – Simon Peyton Jones - 2006
716 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
1165 Proof-Carrying Code – George C. Necula - 1997
561 The implementation of functional programming languages – S L Peyton Jones - 1987