PolyP – a polytypic programming language extension (1997)

by Patrik Jansson, Johan Jeuring
Venue:In Proc. POPL