@InProceedings{laufer-odersky:first-class,
  author = 	"Konstantin L{\"{a}}ufer and Martin Odersky",
  title = 	"An Extension of {ML} with First-Class Abstract Types",
  pages = 	"78--91",
  booktitle = 	"{ACM SIGPLAN} Workshop on {ML} and its Applications,
                 San Francisco, California",
  year = 	"1992",
  month = 	"June"
}