Type inference in the presence of type abstraction
PLDI '89 Proceedings of the ACM SIGPLAN 1989 Conference on Programming language design and implementation
ACM SIGPLAN Notices
ACM SIGPLAN Lisp Pointers
A Polymorphic Environment Calculus and its Type-Inference Algorithm
Higher-Order and Symbolic Computation
TLCA '99 Proceedings of the 4th International Conference on Typed Lambda Calculi and Applications
Dependently Typed Records for Representing Mathematical Structure
TPHOLs '00 Proceedings of the 13th International Conference on Theorem Proving in Higher Order Logics
An Introduction to Dependent Type Theory
Applied Semantics, International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000, Advanced Lectures
Fundamenta Informaticae - Typed Lambda Calculi and Applications (TLCA'99)
Manifest Fields and Module Mechanisms in Intensional Type Theory
Types for Proofs and Programs
Fundamenta Informaticae - Typed Lambda Calculi and Applications (TLCA'99)
Hi-index | 0.00 |