An introduction to logical relations and parametric polymorphism (abstract)

Authors:
John C. Reynolds
Affiliations:
-
Venue:
POPL '93 Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Year:
1993

Citing 2
Cited 2

Theorems for free!

FPCA '89 Proceedings of the fourth international conference on Functional programming languages and computer architecture
Towards a theory of type structure

Programming Symposium, Proceedings Colloque sur la Programmation

Full abstraction for polymorphic π-calculus

Theoretical Computer Science
Full abstraction for polymorphic pi-calculus

FOSSACS'05 Proceedings of the 8th international conference on Foundations of Software Science and Computation Structures

Quantified Score

Hi-index	0.00

Visualization

Abstract