Effective Models of Polymorphism, Subtyping and Recursion (Extended Abstract)

Authors:
John C. Mitchell;Ramesh Viswanathan
Affiliations:
-;-
Venue:
ICALP '96 Proceedings of the 23rd International Colloquium on Automata, Languages and Programming
Year:
1996

Citing 0
Cited 2

A semantic model of types and machine instructions for proof-carrying code

Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
An indexed model of recursive types for foundational proof-carrying code

ACM Transactions on Programming Languages and Systems (TOPLAS)

Quantified Score

Hi-index	0.01

Visualization

Abstract