Applied Type System (extended abstract (2004)

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

Documents Related by Co-Citation

288 Dependent Types in Practical Programming – Hongwei Xi, Dana Scott - 1998
216 Cayenne -- a Language With Dependent Types – Lennart Augustsson - 1998
85 Combining programming with theorem proving – Chiyan Chen, Hongwei Xi - 2005
129 Guarded Recursive Datatype Constructors – Hongwei Xi, Chiyan Chen, Gang Chen - 2003
26 Safe Programming with Pointers through Stateful Views – Dengping Zhu, Hongwei Xi - 2005
62 An Effective Theory of Type Refinements – Yitzhak Mandelbaum, David Walker, Robert Harper - 2002
466 Interactive Theorem Proving and Program Development, Coq’Art: The Calculus of Inductive Constructions. Texts in Theoretical Computer Science. An EATCS Series – Yves Bertot, Pierre Castéran - 2004
704 Separation Logic: A Logic for Shared Mutable Data Structures – John Reynolds - 2002
65 Polymorphism and separation in Hoare type theory – Aleksandar Nanevski, Greg Morrisett, Lars Birkedal - 2006
1559 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
518 Lambda Calculi with Types – Henk Barendregt, S. Abramsky, D. M. Gabbay, T. S. E. Maibaum, H. P. Barendregt - 1992
70 Dependently Typed Functional Programs and their Proofs – Conor Mcbride - 1999
69 Languages of the Future – Tim Sheard - 2004
1305 Monads for functional programming – Philip Wadler - 1995
33 A language-based approach to functionally correct imperative programming – Edwin Westbrook, Aaron Stump, Ian Wehrman - 2005
84 A type system for certified binaries – Zhong Shao, Valery Trifonov, Bratin Saha, Nikolaos Papaspyrou - 2002
157 Simple unification-based type inference for GADTs – Simon Peyton Jones - 2006
301 Higher-order abstract syntax – Frank Pfenning, Conal Elliott
128 Fourier-motzkin elimination and its dual – G B Dantzig, B C Eaves - 1973