Full abstraction, totality and PCF
Mathematical Structures in Computer Science
Compositional reasoning and decidable checking for dependent contract types
Proceedings of the 3rd workshop on Programming languages meets program verification
ACM Transactions on Programming Languages and Systems (TOPLAS)
Type reconstruction for general refinement types
ESOP'07 Proceedings of the 16th European conference on Programming
When is a type refinement an inductive type?
FOSSACS'11/ETAPS'11 Proceedings of the 14th international conference on Foundations of software science and computational structures: part of the joint European conferences on theory and practice of software
POPL '13 Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Hi-index | 0.00 |