SDE 4 Proceedings of the fourth ACM SIGSOFT symposium on Software development environments
Extended projection—new method to extract efficient programs from constructive proofs
FPCA '89 Proceedings of the fourth international conference on Functional programming languages and computer architecture
KIDS: A Semiautomatic Program Development System
IEEE Transactions on Software Engineering
Constructing specification morphisms
Journal of Symbolic Computation - Special issue on automatic programming
On the type structure of standard ML
ACM Transactions on Programming Languages and Systems (TOPLAS)
Model verification in &lgr;Σ: a type inference approach
ANSS '91 Proceedings of the 24th annual symposium on Simulation
Implementing first order logic in Modula-2 using an intuitionistic approach
CSC '88 Proceedings of the 1988 ACM sixteenth annual conference on Computer science
A taxonomy of parallel strategies for deduction
Annals of Mathematics and Artificial Intelligence
Autarkic Computations in Formal Proofs
Journal of Automated Reasoning
Programs, Proofs and Parametrized Specifications
WADT '01 Selected papers from the 15th International Workshop on Recent Trends in Algebraic Development Techniques
Fast Tactic-Based Theorem Proving
TPHOLs '00 Proceedings of the 13th International Conference on Theorem Proving in Higher Order Logics
A Refinement of de Bruijn's Formal Language of Mathematics
Journal of Logic, Language and Information
Theoretical Computer Science - Clifford lectures and the mathematical foundations of programming semantics
The Girard—Reynolds isomorphism (second edition)
Theoretical Computer Science
Constructive Membership Predicates as Index Types
Electronic Notes in Theoretical Computer Science (ENTCS)
Programmed Strategies for Program Verification
Electronic Notes in Theoretical Computer Science (ENTCS)
Weak βη -Normalization and Normalization by Evaluation for System F
LPAR '08 Proceedings of the 15th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning
The Theorema environment for interactive proof development
LPAR'05 Proceedings of the 12th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
ESOP'13 Proceedings of the 22nd European conference on Programming Languages and Systems
Hi-index | 0.00 |