Type inference with expansion variables and intersection types in system E and an exact correspondence with beta-reduction - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Sébastien Carlier, J. B. Wells. Type inference with expansion variables and intersection types in system E and an exact correspondence with beta-reduction. In Eugenio Moggi, David Scott Warren, editors, Proceedings of the 6th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 24-26 August 2004, Verona, Italy. pages 132-143, ACM, 2004. [doi]

This author has not been identified. Look up 'Sébastien Carlier' in GoogleThis author has not been identified. Look up 'J. B. Wells' in Google

runs on WebDSL