Export Citations
1 Results for: Keyword: record type
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
Searched The ACM Guide to Computing Literature (3,801,125 records)|Limit your search to The ACM Full-Text Collection (770,847 records)
Select All
- ArticleJanuary 2006
A polymorphic modal type system for lisp-like multi-staged languages
POPL '06: Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languagesPages 257–268https://doi.org/10.1145/1111037.1111060This article presents a polymorphic modal type system and its principal type inference algorithm that conservatively extend ML by all of Lisp's staging constructs (the quasi-quotation system). The combination is meaningful because ML is a practical ...
Also Published in:
ACM SIGPLAN Notices: Volume 41 Issue 1