Type-Based Termination of Recursive Definitions (2002)

Cached

Download Links

by G. Barthe , M. J. Frade , E. Giménez , L. Pinto , T. Uustalu
Citations:39 - 3 self

Documents Related by Co-Citation

83 Infinite Objects in Type Theory – Thierry Coquand
28 Termination Checking with Types – Andreas Abel - 1999
32 Structural Recursive Definitions in Type Theory – Eduardo Gimenez - 1998
21 A type-based termination criterion for dependently-typed higher-order rewrite systems – F BLANQUI
94 Inductive Types and Type Constraints in the Second-Order Lambda Calculus – N P Mendler - 1991
120 Proving the correctness of reactive systems using sized types – John Hughes, Lars Pareto, Amr Sabry - 1996
51 Inductive and Coinductive types with Iteration and Recursion – Herman Geuvers - 1992
25 A Polymorphic Lambda-Calculus with Sized Higher-Order Types – Andreas Abel - 2006
6 Practical inference for typebased termination in a polymorphic setting – G Barthe, B Grégoire, F Pastawski - 2005
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
29 General recursion via coinductive types – Venanzio Capretta
168 Towards a practical programming language based on dependent type theory – Ulf Norell - 2007
15 Representations of stream processors using nested fixed points – Peter Hancock, Dirk Pattinson, Neil Ghani
22 Filters on coinductive streams, an application to eratosthenes’ sieve – Yves Bertot - 2005
66 A Categorical Programming Language – Tatsuya Hagino, Tatsuya Hagino - 1987
65 Recursive Definition in Type Theory – P Mendler - 1987
79 Nested datatypes – Richard Bird, Lambert Meertens - 1998
38 Modelling General Recursion in Type Theory – Ana Bove, Venanzio Capretta - 2002
21 Proof Methods for Corecursive Programs – Jeremy Gibbons, Graham Hutton - 1999