Type checking records and variants in a natural extension of ML
D. Rémy[doi] [ISBN] [Google Scholar] [DBLP] [Citeseer] [url]
Proceedings of the 16th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
POPL '89
Austin, Texas, USA
Association for Computing Machinery
New York, NY, USA
Pages 77-88
1989
Note(s): phantom types
POPL '89
Austin, Texas, USA
Association for Computing Machinery
New York, NY, USA
Pages 77-88
1989
Note(s): phantom types