The Cornell program synthesizer: a syntax-directed programming environment
Communications of the ACM
Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory
Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory
An Introduction to the PL/CV2 Programming Logic
An Introduction to the PL/CV2 Programming Logic
Toward a Logical Thoery of Program Data
Logic of Programs, Workshop
Report on the Type Theory (V3) of the Programming Logic PL/CV3
Report on the Type Theory (V3) of the Programming Logic PL/CV3
Proofs as Programs
Prolegomena to a theory of formal reasoning
Prolegomena to a theory of formal reasoning
A computer system for checking proofs
A computer system for checking proofs
Avid: a system for the interactive development of verifiably correct programs
Avid: a system for the interactive development of verifiably correct programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Type theories and object-oriented programmimg
ACM Computing Surveys (CSUR)
Compiling polymorphism using intensional type analysis
POPL '95 Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Intensional polymorphism in type-erasure semantics
ICFP '98 Proceedings of the third ACM SIGPLAN international conference on Functional programming
Embedding type structure in semantics
POPL '85 Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Using dependent types to express modular structure
POPL '86 Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Extending the relational database data model for design applications
DAC '84 Proceedings of the 21st Design Automation Conference
Intensional polymorphism in type-erasure semantics
Journal of Functional Programming
Generative type abstraction and type-level computation
Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Hi-index | 0.00 |