Typing algorithm in type theory with inheritance
Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Deciding type equivalence in a language with singleton kinds
Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Refining the Barendregt Cube Using Parameters
FLOPS '01 Proceedings of the 5th International Symposium on Functional and Logic Programming
Parameters in Pure Type Systems
LATIN '02 Proceedings of the 5th Latin American Symposium on Theoretical Informatics
Open Proofs and Open Terms: A Basis for Interactive Logic
CSL '02 Proceedings of the 16th International Workshop and 11th Annual Conference of the EACSL on Computer Science Logic
Proof-assistants using dependent type systems
Handbook of automated reasoning
Dependent types and explicit substitutions: a meta-theoretical development
Mathematical Structures in Computer Science
Journal of Functional Programming
PAL+: a lambda-free logical framework
Journal of Functional Programming
A Refinement of de Bruijn's Formal Language of Mathematics
Journal of Logic, Language and Information
Definitions by rewriting in the Calculus of Constructions
Mathematical Structures in Computer Science
Extensional equivalence and singleton types
ACM Transactions on Computational Logic (TOCL)
One-and-a-Halfth Order Terms: Curry-Howard and Incomplete Derivations
WoLLIC '08 Proceedings of the 15th international workshop on Logic, Language, Information and Computation
TYPES'02 Proceedings of the 2002 international conference on Types for proofs and programs
CSL'10/EACSL'10 Proceedings of the 24th international conference/19th annual conference on Computer science logic
A prismoid framework for languages with resources
Theoretical Computer Science
Pure type systems with corecursion on streams: from finite to infinitary normalisation
Proceedings of the 17th ACM SIGPLAN international conference on Functional programming
| Hi-index | 0.00 |