Semi-continuous sized types and termination

by Andreas Abel
Venue:Computer Science Logic, 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL
Citations:10 - 5 self

Active Bibliography

7 Implementing a normalizer using sized heterogeneous types – Andreas Abel - 2006
3 Practical Inference for Typed-Based Termination in a Polymorphic Setting – Gilles Barthe, Benjamin Gregoire, Fernando Pastawski
1 Wellfounded Recursion with Copatterns A Unified Approach to Termination and Productivity – Andreas Abel, Brigitte Pientka - 2013
8 Generalized Iteration and Coiteration for Higher-Order Nested Datatypes – Andreas Abel, Ralph Matthes, Tarmo Uustalu - 2003
5 Type-based termination of generic programs – Andreas Abel - 2007
28 Termination Checking with Types – Andreas Abel - 1999
8 (Co-)iteration for higher-order nested datatypes – Andreas Abel, Ralph Matthes - 2003
7 Fixed points of type constructors and primitive recursion – Andreas Abel, Ralph Matthes - 2004
Under consideration for publication in Math. Struct. in Comp. Science Partiality and Recursion in Interactive Theorem Provers — An Overview – unknown authors - 2011
12 Miniagda: Integrating sized and dependent types – Andreas Abel - 2010
Automated Termination Proofs for Haskell . . . – Jürgen Giesl, Matthias Raffelsieper , Peter Schneider-Kamp, Stephan Swiderski, René Thiemann - 2010
4 Generic Operations on Nested Datatypes – Ian Bayley - 2001
8 Initial algebra semantics is enough – Patricia Johann, Neil Ghani - 2007
Haskell Programming with Nested Types: A Principled Approach † – Patricia Johann, Neil Ghani
5 On the relation between sized-types based termination and . . . – Frédéric Blanqui, Cody Roux
Author manuscript, published in "18th EACSL Annual Conference on Computer Science Logic- CSL 09 (2009)" On the relation between sized-types based termination and – Frédéric Blanqui, Cody Roux (inria - 2009
39 Type-Based Termination of Recursive Definitions – G. Barthe, M. J. Frade, E. Giménez, L. Pinto, T. Uustalu - 2002
Foundations and Applications of Higher-Dimensional Directed Type Theory – n.n.
2-Dimensional Directed Dependent Type Theory – Daniel R. Licata, Robert Harper - 2011