EPiC SeriesLatest PublicationsSearchKeywords

EPiC Volume 5

Ekaterina Komendantskaya, Ana Bove and Milad Niqui (editors)

PAR-10. Partiality and Recursion in Interactive Theorem Provers

Volume Information

Papers

authors	title
Alexander Krauss	Recursive Definitions of Monadic Functions
Conor McBride	Djinn, Monotonic
Andreas Abel	MiniAgda: Integrating Sized and Dependent Types
Nils Anders Danielsson	Beating the Productivity Checker Using Embedded Languages
Issam Maamria and Michael Butler	Rewriting and Well-Definedness within a Proof System
Claudio Sacerdoti Coen and Silvio Valentini	General Recursion and Formal Topology
Aaron Stump, Vilhelm Sjöberg and Stephanie Weirich	Termination Casts: A Flexible Approach to Termination with General Recursion
Thorsten Altenkirch and Nils Anders Danielsson	Termination Checking in the Presence of Nested Inductive and Coinductive Types
Gavin Mendel-Gleason and Geoff Hamilton	Cyclic Proofs and Coinductive Principles
Tarmo Uustalu	Antifounded Coinduction in Type Theory