Documents Related by Co-Citation

272 Dependent Types in Practical Programming – Hongwei Xi, Dana Scott - 1998
162 Eliminating Array Bound Checking Through Dependent Types – Hongwei Xi, Frank Pfennig - 1998
48 Calculating Sized Types – Wei-ngan Chin, Siau-cheng Khoo - 2001
34 Applied Type System (extended abstract – Hongwei Xi - 2004
81 Inductive Types and Type Constraints in the Second-Order Lambda Calculus. Annals of pure and Applied logic 51 – N P Mendler - 1991
573 The Definition of Standard ML (Revised – Robin Milner, Mads Tofte, Robert Harper, David MacQueen - 1997
14 Dependently Typed Data Structures – Hongwei Xi - 1999
196 Cayenne -- a Language With Dependent Types – Lennart Augustsson - 1998
115 Guarded Recursive Datatype Constructors – Hongwei Xi, Chiyan Chen, Gang Chen - 2003
113 Proving the correctness of reactive systems using sized types – John Hughes, Lars Pareto, Amr Sabry - 1996
76 Combining programming with theorem proving – Chiyan Chen, Hongwei Xi - 2005
44 The Coq proof assistant user’s guide. Rapport Techniques 154 – Gilles Dowek, Amy Felty, Hugo Herbelin, Gérard Huet, Chet Murthy, Catherine Parent, Christine Paulin-Mohring, Benjamin Werner - 1993
39 Imperative Programming with Dependent Types – Hongwei Xi - 2000
9 A formulation of the simple type theory of types – A Church - 1940
118 Fourier-motzkin elimination and its dual – G B Dantzig, B C Eaves - 1973
25 Termination Checking with Types – Andreas Abel - 1999
16 A type-based termination criterion for dependently-typed higher-order rewrite systems – Frédéric Blanqui
56 An Effective Theory of Type Refinements – Yitzhak Mandelbaum, David Walker, Robert Harper - 2002
26 Reasoning about terminating functional programs – K Slind - 1999