Type Inference with Expansion Variables and Intersection Types in System E and an Exact Correspondence with β-Reduction (0)

by Sébastien Carlier , J. B. Wells
Venue:In Proc. 6th Int’l Conf. Principles & Practice Declarative Programming
Citations:11 - 4 self