Cayenne—a language with dependent types
ICFP '98 Proceedings of the third ACM SIGPLAN international conference on Functional programming
Reasoning with higher-order abstract syntax in a logical framework
ACM Transactions on Computational Logic (TOCL)
Annals of Mathematics and Artificial Intelligence
Journal of Automated Reasoning
An Implementation of LF with Coercive Subtyping & Universes
Journal of Automated Reasoning
Higher-Order and Symbolic Computation
Mathematical Vernacular and Conceptual Well-Formedness in Mathematical Language
LACL '97 Selected papers from the Second International Conference on Logical Aspects of Computational Linguistics
ICAL '99 Proceedings of the 26th International Colloquium on Automata, Languages and Programming
Nested General Recursion and Partiality in Type Theory
TPHOLs '01 Proceedings of the 14th International Conference on Theorem Proving in Higher Order Logics
A Modal Lambda Calculus with Iteration and Case Constructs
TYPES '98 Selected papers from the International Workshop on Types for Proofs and Programs
Formalising Formulas-as-Types-as-Objects
TYPES '99 Selected papers from the International Workshop on Types for Proofs and Programs
Implementation Techniques for Inductive Types in Plastic
TYPES '99 Selected papers from the International Workshop on Types for Proofs and Programs
PTCS '01 Proceedings of the International Seminar on Proof Theory in Computer Science
Normalization and Partial Evaluation
Applied Semantics, International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000, Advanced Lectures
Programming methodology
Simple general recursion in type theory
Nordic Journal of Computing
Handbook of automated reasoning
Journal of Functional Programming
PAL+: a lambda-free logical framework
Journal of Functional Programming
A coherence theorem for Martin-Löf's type theory
Journal of Functional Programming
Dialogue Systems as Proof Editors
Journal of Logic, Language and Information
XML and multilingual document authoring: convergent trends
COLING '00 Proceedings of the 18th conference on Computational linguistics - Volume 1
Document structure and multilingual authoring
INLG '00 Proceedings of the first international conference on Natural language generation - Volume 14
An update calculus for expressing type-safe program updates
Science of Computer Programming
Algebra of programming in agda: Dependent types for relational program derivation
Journal of Functional Programming
A type-theoretic framework for formal reasoning with different logical foundations
ASIAN'06 Proceedings of the 11th Asian computing science conference on Advances in computer science: secure software and related issues
Generic programming with dependent types
SSDGP'06 Proceedings of the 2006 international conference on Datatype-generic programming
TYPES'06 Proceedings of the 2006 international conference on Types for proofs and programs
Multilingual syntax editing in GF
CICLing'03 Proceedings of the 4th international conference on Computational linguistics and intelligent text processing
Representing model theory in a type-theoretical logical framework
Theoretical Computer Science
Translating between language and logic: what is easy and what is difficult
CADE'11 Proceedings of the 23rd international conference on Automated deduction
A few constructions on constructors
TYPES'04 Proceedings of the 2004 international conference on Types for Proofs and Programs
Exploring the regular tree types
TYPES'04 Proceedings of the 2004 international conference on Types for Proofs and Programs
Epigram: practical programming with dependent types
AFP'04 Proceedings of the 5th international conference on Advanced Functional Programming
Hi-index | 0.00 |