Complete type inference for simple objects
Mitchell Wand[Google Scholar] [DBLP] [Citeseer]
Proceedings of the Second Annual IEEE Symposium on Logic in Computer Science (LICS 1987)
Ithaca, NY, USA
IEEE Computer Society Press
Pages 37-44
June 1987
Note(s): phantom types
Ithaca, NY, USA
IEEE Computer Society Press
Pages 37-44
June 1987
Note(s): phantom types