Type extension through polymorphism
F. Warren Burton[doi] [Google Scholar] [DBLP] [Citeseer] [url]
ACM Trans. Program. Lang. Syst.
12(1)
Association for Computing Machinery
New York, NY, USA
Pages 135-138
January 1990
Note(s): phantom types
Association for Computing Machinery
New York, NY, USA
Pages 135-138
January 1990
Note(s): phantom types