Dependent types in practical programming
Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
LPAR '01 Proceedings of the Artificial Intelligence on Logic for Programming
Fix-Point Equations for Well-Founded Recursion in Type Theory
TPHOLs '00 Proceedings of the 13th International Conference on Theorem Proving in Higher Order Logics
Formalizing the Trading Theorem for the Classification of Surfaces
TPHOLs '02 Proceedings of the 15th International Conference on Theorem Proving in Higher Order Logics
Formal Program Development in Geometric Modeling
FM-Trends 98 Proceedings of the International Workshop on Current Trends in Applied Formal Method: Applied Formal Methods
Proof-assistants using dependent type systems
Handbook of automated reasoning
Formalizing generalized maps in Coq
Theoretical Computer Science
Dependent ML An approach to practical programming with dependent types
Journal of Functional Programming
Program-ing finger trees in Coq
ICFP '07 Proceedings of the 12th ACM SIGPLAN international conference on Functional programming
Realizability of the Axiom of Choice in HOL. (An Analysis of Krivine's Work)
Fundamenta Informaticae - Logic for Pragmatics
TYPES'06 Proceedings of the 2006 international conference on Types for proofs and programs
Refinement types for secure implementations
ACM Transactions on Programming Languages and Systems (TOPLAS)
Realizability of the Axiom of Choice in HOL. (An Analysis of Krivine's Work)
Fundamenta Informaticae - Logic for Pragmatics
Hi-index | 0.00 |