A Type-Based Semantics for User-Defined Marshalling in Polymorphic Languages

Authors:
Dominic Duggan
Affiliations:
-
Venue:
TIC '98 Proceedings of the Second International Workshop on Types in Compilation
Year:
1998

Intensional polymorphism in type-erasure semantics

ICFP '98 Proceedings of the third ACM SIGPLAN international conference on Functional programming
Dynamic typing for distributed programming in polymorphic languages

ACM Transactions on Programming Languages and Systems (TOPLAS)
Flexible type analysis

Proceedings of the fourth ACM SIGPLAN international conference on Functional programming
Fully reflexive intensional type analysis

ICFP '00 Proceedings of the fifth ACM SIGPLAN international conference on Functional programming
Intensional analysis of quantified types

ACM Transactions on Programming Languages and Systems (TOPLAS)
Intensional polymorphism in type-erasure semantics

Journal of Functional Programming

Hi-index	0.00