DOI10.1145/3916.3987zbMath0566.68016MaRDI QIDQ3681907
Alan Demers, James E. Donahue
Publication date: 1985 Published in: ACM Transactions on Programming Languages and Systems (Search for Journal in Brave) Full work available at URL: http://www.acm.org/pubs/contents/journals/toplas/1985-7/
zbMATH Keywords
polymorphism; data type; static type-checking
Mathematics Subject Classification ID
68P05: Data structures
Related Items