Applied Type System (extended abstract (2004)

by Hongwei Xi
Venue:In post-workshop Proceedings of TYPES 2003
Citations:36 - 13 self

Active Bibliography

7 Facilitating Program Verification with Dependent Types – Hongwei Xi - 2003
24 A constraint-based approach to guarded algebraic data types – Vincent Simonet, François Pottier - 2007
2 ATS/LF: a type system for constructing proofs as total functional programs – Hongwei Xi - 2004
25 Constraint-Based Type Inference for Guarded Algebraic Data Types – Vincent Simonet, François Pottier - 2003
13 Ats: A language that combines programming with theorem proving – Sa Cui, Kevin Donnelly, Hongwei Xi - 2005
48 Wobbly types: type inference for generalised algebraic data types – Simon Peyton Jones, Geoffrey Washburn, Stephanie Weirich - 2004
157 Simple unification-based type inference for GADTs – Simon Peyton Jones - 2006
2 Concoqtion: Mixing dependent types and Hindley-Milner type inference (extended version – Jeremy Siek, Walid Taha - 2006
29 General recursion via coinductive types – Venanzio Capretta
69 Languages of the Future – Tim Sheard - 2004
11 Programming With Types – Stephanie Claudene Weirich - 2002
53 Tagless Staged Interpreters for Typed Languages – Emir Pasalic, Walid Taha, Tim Sheard - 2002
Languages]: D.3.3 Language Constructs and Features – Yu David Liu, Christian Skalka, Scott Smith
Typed Stateful Programming – Dengping Zhu - 2004
26 Safe Programming with Pointers through Stateful Views – Dengping Zhu, Hongwei Xi - 2005
3 Dependent types and program equivalence – Limin Jia, Jianzhou Zhao, Vilhelm Sjöberg, Stephanie Weirich - 2009
4 A cost-effective foundational certified code system – Susmit Sarkar - 2005
Combining Programming Languages and Logical Reasoning Systems: Project Summary – Tim Sheard
Other – Tim Sheard