A simple semantics for polymorphic recursion (0)

by W Harrison
Venue:in Proceedings of the 3rd Asian Symposium on Programming Languages and Systems (APLAS05