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