Documents Related by Co-Citation

289 Dependent Types in Practical Programming – Hongwei Xi, Dana Scott - 1998
36 Applied Type System (extended abstract – Hongwei Xi - 2004
52 Calculating Sized Types – Wei-ngan Chin, Siau-cheng Khoo - 2001
121 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
14 Dependently Typed Data Structures – Hongwei Xi - 1999
129 Guarded Recursive Datatype Constructors – Hongwei Xi, Chiyan Chen, Gang Chen - 2003
216 Cayenne -- a Language With Dependent Types – Lennart Augustsson - 1998
83 Combining programming with theorem proving – Chiyan Chen, Hongwei Xi - 2005
21 A type-based termination criterion for dependently-typed higher-order rewrite systems – F BLANQUI
32 Polarized Higher-Order Subtyping – Martin Steffen - 1997
605 The Definition of Standard ML (Revised – R Milner, M Tofte, R Harper, D MacQueen - 1997
94 Inductive Types and Type Constraints in the Second-Order Lambda Calculus – N P Mendler - 1991
128 Fourier-motzkin elimination and its dual – G B Dantzig, B C Eaves - 1973
313 System Description: Twelf --- A Meta-Logical Framework for Deductive Systems – Frank Pfenning, Carsten Schurmann - 1999
302 Higher-order abstract syntax – F Pfenning, C Elliot - 1988
62 An Effective Theory of Type Refinements – Yitzhak Mandelbaum, David Walker, Robert Harper - 2002
30 Reasoning about Terminating Functional Programs – Konrad Slind - 1999
3 98 language report. http://www.haskell.org/onlinereport/. [10] The Caml language: Home. http://caml.inria.fr/. [11 – Haskell - 1997