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

Documents Related by Co-Citation

290 Dependent Types in Practical Programming – Hongwei Xi, Dana Scott - 1998
216 Cayenne -- a Language With Dependent Types – Lennart Augustsson - 1998
105 Phantom Types – James Cheney, Ralf Hinze - 2003
155 The view from the left – C McBride, J McKinna
131 Guarded Recursive Datatype Constructors – Hongwei Xi, Chiyan Chen, Gang Chen - 2003
158 Simple unification-based type inference for GADTs – Simon Peyton Jones - 2006
702 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
717 Separation Logic: A Logic for Shared Mutable Data Structures – John Reynolds - 2002
1111 Proof-Carrying Code – George C. Necula - 1997