Polyp – a polytypic programming language extension (1997)

by P Jansson, J Jeuring
Venue:In Proc. 24th ACM Symp. on Principles of Programming Languages (POPL’97