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

id	sg-nus-scholar.10635-41911
record_format	dspace
spelling	sg-nus-scholar.10635-419112023-10-29T20:13:50Z System F with type equality coercions Sulzmann, M. Chakravarty, M.M.T. Jones, S.P. Donnelly, K. COMPUTER SCIENCE Advanced type features Typed intermediate language 10.1145/1190315.1190324 Proceedings of the TLDI 2007: 2007 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation - Papers Presented at the Workshop 53-66 2013-07-04T08:38:47Z 2013-07-04T08:38:47Z 2007 Conference Paper Sulzmann, M., Chakravarty, M.M.T., Jones, S.P., Donnelly, K. (2007). System F with type equality coercions. Proceedings of the TLDI 2007: 2007 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation - Papers Presented at the Workshop : 53-66. ScholarBank@NUS Repository. https://doi.org/10.1145/1190315.1190324 159593393X http://scholarbank.nus.edu.sg/handle/10635/41911 000267364100007 Scopus
institution	National University of Singapore
building	NUS Library
continent	Asia
country	Singapore Singapore
content_provider	NUS Library
collection	ScholarBank@NUS
topic	Advanced type features Typed intermediate language
spellingShingle	Advanced type features Typed intermediate language Sulzmann, M. Chakravarty, M.M.T. Jones, S.P. Donnelly, K. System F with type equality coercions
description	10.1145/1190315.1190324
author2	COMPUTER SCIENCE
author_facet	COMPUTER SCIENCE Sulzmann, M. Chakravarty, M.M.T. Jones, S.P. Donnelly, K.
format	Conference or Workshop Item
author	Sulzmann, M. Chakravarty, M.M.T. Jones, S.P. Donnelly, K.
author_sort	Sulzmann, M.
title	System F with type equality coercions
title_short	System F with type equality coercions
title_full	System F with type equality coercions
title_fullStr	System F with type equality coercions
title_full_unstemmed	System F with type equality coercions
title_sort	system f with type equality coercions
publishDate	2013
url	http://scholarbank.nus.edu.sg/handle/10635/41911
_version_	1781411132018262016

System F with type equality coercions

Similar Items