Encoding Intensional Type Analysis
ESOP '01 Proceedings of the 10th European Symposium on Programming Languages and Systems
An Introduction to Dependent Type Theory
Applied Semantics, International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000, Advanced Lectures
Proof-assistants using dependent type systems
Handbook of automated reasoning
Journal of Functional Programming
Remarks on the equational theory of non-normalizing pure type systems
Journal of Functional Programming
Proceedings of the ACM SIGPLAN workshop on Generic programming
In the search of a naive type theory
TYPES'07 Proceedings of the 2007 international conference on Types for proofs and programs
(In)consistency of extensions of higher order logic and type theory
TYPES'06 Proceedings of the 2006 international conference on Types for proofs and programs
Formal polytypic programs and proofs
Journal of Functional Programming
TLDI '12 Proceedings of the 8th ACM SIGPLAN workshop on Types in language design and implementation
Typed syntactic meta-programming
Proceedings of the 18th ACM SIGPLAN international conference on Functional programming
Leveling up dependent types: generic programming over a predicative hierarchy of universes
Proceedings of the 2013 ACM SIGPLAN workshop on Dependently-typed programming
Hi-index | 0.00 |