Algebraic types in PER models

Authors:
J. M. E. Hyland;E. P. Robinson;G. Rosolini
Affiliations:
-;-;-
Venue:
Proceedings of the fifth international conference on Mathematical foundations of programming semantics
Year:
1990

Formal parametric polymorphism

POPL '93 Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Parametricity and local variables

Journal of the ACM (JACM)
Axiomatizing Fully Complete Models for ML Polymorphic Types

MFCS '00 Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science
A Fully Complete PER Model for ML Polymorphic Types

Proceedings of the 14th Annual Conference of the EACSL on Computer Science Logic
Polynat in PER models

Theoretical Computer Science - Logic, semantics and theory of programming

Hi-index	0.00