@article{6d48997196bb47478fc5e8f57a158a00,
title = "Polymorphic Type Inference and Abstract Data Types",
keywords = "dynamic dispatching, existentially quantified types, first-class abstract types, polymorphism, type inference, universally quantified types",
author = "Konstantin L{\"a}ufer and Martin Odersky",
year = "1994",
month = jan,
day = "9",
doi = "10.1145/186025.186031",
language = "English",
volume = "16",
pages = "1411--1430",
journal = "ACM Transactions on Programming Languages and Systems (TOPLAS)",
issn = "0164-0925",
number = "5",
}