PAR-10 Accepted Papers

Recursive Definitions of Monadic Functions
Integrating Sized and Dependent Types
General recursion and formal topology
Rewriting and Well-Definedness within a Proof System
Beating the Productivity Checker Using Embedded Languages
Termination Checking Nested Inductive and Coinductive Types
Termination Casts: A Flexible Approach to Termination with General Recursion
Antifounded coinduction in type theory
Cyclic Proofs and Coinductive Principles
Djinn, monotonic