Elementary Strong Functional Programming
FPLE '95 Proceedings of the First International Symposium on Functional Programming Languages in Education
AMAST '97 Proceedings of the 6th International Conference on Algebraic Methodology and Software Technology
Codifying Guarded Definitions with Recursive Schemes
TYPES '94 Selected papers from the International Workshop on Types for Proofs and Programs
A Set Constructor for Inductive Sets in Martin-Löf's Type Theory
Category Theory and Computer Science
A categorical programming language
A categorical programming language
Journal of Functional Programming
Interactive Theorem Proving and Program Development
Interactive Theorem Proving and Program Development
Containers: constructing strictly positive types
Theoretical Computer Science - Applied semantics: Selected topics
PLPV '07 Proceedings of the 2007 workshop on Programming languages meets program verification
LICS '09 Proceedings of the 2009 24th Annual IEEE Symposium on Logic In Computer Science
State Dependent IO-Monads in Type Theory
Electronic Notes in Theoretical Computer Science (ENTCS)
Subtyping by folding an inductive relation into a coinductive one
TFP'11 Proceedings of the 12th international conference on Trends in Functional Programming
Copatterns: programming infinite structures by observations
POPL '13 Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Type-Based Productivity of Stream Definitions in the Calculus of Constructions
LICS '13 Proceedings of the 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science
Hi-index | 0.00 |