MetaCartSign in to MyCiteSeer

Include Citations | Advanced Search | Help

Include Citations | Advanced Search | Help

  in

Download:
Download as a PDF | Download as a PS
by Gilles Barthe, Benjamin Grégoire, O Pastawski
http://www-sop.inria.fr/everest/Benjamin.Gregoire/Publi/Fsombrero.ps.gz
Add To MetaCart

Abstract:

inference for typed-based termination

Citations

239 Dependent Types in Practical Programming – Xi, Pfenning - 1999
90 Proving the correctness of reactive systems using sized types – Hughes, Pareto, et al. - 1996
73 Recursive types and type constraints in second-order lambda calculus – Mendler - 1987
47 Inductive and coinductive types with iteration and recursion – Geuvers - 1992
34 Calculating sized types – Chin, Khoo - 2000
28 Dependent types for program termination verification – Xi - 2001
26 Polarized Higher-Order Subtyping – Steffen - 1994
25 Structural recursive definitions in type theory – Giménez - 1998
24 Auto-validation d’un système de preuves avec familles inductives – Barras - 1999
19 Termination checking with types – Abel - 2002
16 Type-based termination of recursive definitions – Barthe, Frade, et al. - 2004
15 Méta-théorie du Calcul des Constructions Inductives – Werner - 1994
9 Un Calcul de Constructions Infinies et son Application a la Verification de Systemes Communicants. Doctoral Thesis. ENS – Giménez - 1996
7 A type-based termination criterion for dependently-typed higher-order rewrite systems – Blanqui - 2004
4 Analysis of a guard condition in type theory – Amadio, Coupet-Grimal - 1998
3 Un algorithme d'inference de types pour les types coinductifs. Memoire de DEA, Ecole Normale Superieure de Lyon – Bac - 1998
View or Download | Add to My Collection | Correct Errors