Documents Related by Co-Citation

290 Dependent Types in Practical Programming – Hongwei Xi, Dana Scott - 1998
120 Proving the correctness of reactive systems using sized types – John Hughes, Lars Pareto, Amr Sabry - 1996
169 Eliminating Array Bound Checking Through Dependent Types – Hongwei Xi, Frank Pfennig - 1998
45 The Coq proof assistant user’s guide. Rapport Techniques 154 – G Dowek, A Felty, H Herbelin, G Huet, C Murthy, C Parent, C Paulin-Mohring, B Werner - 1993
21 A type-based termination criterion for dependently-typed higher-order rewrite systems – F BLANQUI
85 Combining programming with theorem proving – Chiyan Chen, Hongwei Xi - 2005
315 System Description: Twelf --- A Meta-Logical Framework for Deductive Systems – Frank Pfenning, Carsten Schurmann - 1999
14 Dependently Typed Data Structures – Hongwei Xi - 1999
52 Calculating Sized Types – Wei-ngan Chin, Siau-cheng Khoo - 2001
39 Type-Based Termination of Recursive Definitions – G. Barthe, M. J. Frade, E. Giménez, L. Pinto, T. Uustalu - 2002
16 Un Calcul De Constructions Infinies Et Son Application A La Verification De Systemes Communicants – Carlos Eduardo Giménez, Suprieure De Lyon, Spcialit Informatique, Par Carlos Eduardo Gimnez, De Systemes Communicants, Roberto Amadio, Roberto Amadio, Luc Boug, Thierry Coquand, Thierry Coquand, Michel Cosnard (president, Gilles Kahn - 1996
32 Polarized Higher-Order Subtyping – Martin Steffen - 1997
215 Intensional interpretation of functionals of finite type – W W Tait - 1967
94 Recursive types and type constraints in second-order lambda calculus – P F Mendler - 1987
18 Dependent ML: An approach to practical programming with dependent types – H Xi - 2007
38 Applied Type System (extended abstract – Hongwei Xi - 2004
62 An Effective Theory of Type Refinements – Yitzhak Mandelbaum, David Walker, Robert Harper - 2002
302 Higher-order abstract syntax – F Pfenning, C Elliott - 1988
47 Imperative Programming with Dependent Types – Hongwei Xi - 2000