Export Citations
2 Results for: Keyword: record polymorphism
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,790,112 records)|Limit your search to The ACM Full-Text Collection (766,397 records)
Select All
- research-articleAugust 2014
SML# in industry: a practical ERP system development
ICFP '14: Proceedings of the 19th ACM SIGPLAN international conference on Functional programmingPages 167–173https://doi.org/10.1145/2628136.2628164This paper reports on our industry-academia project of using a functional language in business software production. The general motivation behind the project is our ultimate goal of adopting an ML-style higher-order typed functional language in a wide ...
Also Published in:
ACM SIGPLAN Notices: Volume 49 Issue 9 - ArticleSeptember 2002
An interoperable calculus for external object access
ICFP '02: Proceedings of the seventh ACM SIGPLAN international conference on Functional programmingPages 60–71https://doi.org/10.1145/581478.581485By extending an ML-style type system with record polymorphism, recursive type definition, and an ordering relation induced by field inclusion, it is possible to achieve seamless and type safe interoperability with an object-oriented language. Based on ...
Also Published in:
ACM SIGPLAN Notices: Volume 37 Issue 9