HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors
Volume •Abstracts •Preface •Authors •Keywords •BibTex Entries

PAR-10: Author Index

AuthorPapers
A
Abel, AndreasMiniAgda: Integrating Sized and Dependent Types
Altenkirch, ThorstenTermination Checking in the Presence of Nested Inductive and Coinductive Types
B
Butler, MichaelRewriting and Well-Definedness within a Proof System
D
Danielsson, Nils AndersBeating the Productivity Checker Using Embedded Languages
Termination Checking in the Presence of Nested Inductive and Coinductive Types
H
Hamilton, GeoffCyclic Proofs and Coinductive Principles
K
Krauss, AlexanderRecursive Definitions of Monadic Functions
M
Maamria, IssamRewriting and Well-Definedness within a Proof System
Mcbride, ConorDjinn, Monotonic
Mendel-Gleason, GavinCyclic Proofs and Coinductive Principles
S
Sacerdoti Coen, ClaudioGeneral Recursion and Formal Topology
Sjöberg, VilhelmTermination Casts: A Flexible Approach to Termination with General Recursion
Stump, AaronTermination Casts: A Flexible Approach to Termination with General Recursion
U
Uustalu, TarmoAntifounded Coinduction in Type Theory
V
Valentini, SilvioGeneral Recursion and Formal Topology
W
Weirich, StephanieTermination Casts: A Flexible Approach to Termination with General Recursion
Copyright © 2012-2025 easychair.org. All rights reserved.