System F with type equality coercions

10.1145/1190315.1190324

Saved in:

Bibliographic Details
Main Authors:	Sulzmann, M., Chakravarty, M.M.T., Jones, S.P., Donnelly, K.
Other Authors:	COMPUTER SCIENCE
Format:	Conference or Workshop Item
Published:	2013
Subjects:	Advanced type features Typed intermediate language
Online Access:	http://scholarbank.nus.edu.sg/handle/10635/41911
Tags:	Add Tag No Tags, Be the first to tag this record!
Institution:	National University of Singapore

Description
Summary:	10.1145/1190315.1190324

Similar Items