Applied Type System (extended abstract (2004)

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

Documents Related by Co-Citation

290 Dependent Types in Practical Programming – Hongwei Xi, Dana Scott - 1998
85 Combining programming with theorem proving – Chiyan Chen, Hongwei Xi - 2005
62 An Effective Theory of Type Refinements – Yitzhak Mandelbaum, David Walker, Robert Harper - 2002
219 Cayenne -- a Language With Dependent Types – Lennart Augustsson - 1998
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
469 Interactive theorem proving and program development: Coq’Art: The calculus of inductive constructions – Y Bertot, P Castéran - 2004
69 Languages of the Future – Tim Sheard - 2004
711 Separation Logic: A Logic for Shared Mutable Data Structures – John Reynolds - 2002
1565 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
70 Dependently Typed Functional Programs and their Proofs – Conor Mcbride - 1999
166 How Good is Local Type Inference? – Haruo Hosoya, Benjamin C. Pierce - 1999
67 Polymorphism and separation in Hoare type theory – Aleksandar Nanevski, Greg Morrisett, Lars Birkedal - 2006
84 A type system for certified binaries – Zhong Shao, Valery Trifonov, Bratin Saha, Nikolaos Papaspyrou - 2002
159 Simple unification-based type inference for GADTs – Simon Peyton Jones - 2006
102 Phantom Types – James Cheney, Ralf Hinze - 2003
302 Higher-order abstract syntax – F Pfenning, C Elliott - 1988
128 Fourier-Motzkin elimination and its dual – G B Dantzig, B C Eaves
155 Adoption and Focus: Practical Linear Types for Imperative Programming – Manuel Fähndrich , Robert DeLine - 2002