PolyP---a polytypic programming language 24 R. Hinze extension (1997)

by Patrik Jansson
Venue:Pages 470--482 of: Conference record 24th ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL'97