Calculating sized types

Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation

Saved in:

Bibliographic Details
Main Authors:	Chin, Wei-Ngan, Khoo, Siau-Cheng
Other Authors:	COMPUTER SCIENCE
Format:	Conference or Workshop Item
Published:	2013
Online Access:	http://scholarbank.nus.edu.sg/handle/10635/39942
Tags:	Add Tag No Tags, Be the first to tag this record!
Institution:	National University of Singapore

id	sg-nus-scholar.10635-39942
record_format	dspace
spelling	sg-nus-scholar.10635-399422024-11-12T18:27:57Z Calculating sized types Chin, Wei-Ngan Khoo, Siau-Cheng COMPUTER SCIENCE Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation 62-72 216 2013-07-04T07:53:07Z 2013-07-04T07:53:07Z 2000 Conference Paper Chin, Wei-Ngan,Khoo, Siau-Cheng (2000). Calculating sized types. Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation : 62-72. ScholarBank@NUS Repository. http://scholarbank.nus.edu.sg/handle/10635/39942 NOT_IN_WOS Scopus
institution	National University of Singapore
building	NUS Library
continent	Asia
country	Singapore Singapore
content_provider	NUS Library
collection	ScholarBank@NUS
description	Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation
author2	COMPUTER SCIENCE
author_facet	COMPUTER SCIENCE Chin, Wei-Ngan Khoo, Siau-Cheng
format	Conference or Workshop Item
author	Chin, Wei-Ngan Khoo, Siau-Cheng
spellingShingle	Chin, Wei-Ngan Khoo, Siau-Cheng Calculating sized types
author_sort	Chin, Wei-Ngan
title	Calculating sized types
title_short	Calculating sized types
title_full	Calculating sized types
title_fullStr	Calculating sized types
title_full_unstemmed	Calculating sized types
title_sort	calculating sized types
publishDate	2013
url	http://scholarbank.nus.edu.sg/handle/10635/39942
_version_	1821187183629828096

Similar Items