First-class polymorphism for ML (1993)

by Stefan Kahrs
Venue:Programming Languages and Systems -- European Symposium on Programming 1994, volume 788 of Lecture Notes in Computer Science