%0 Journal Article %1 journals/toplas/LauferO94 %A Läufer, Konstantin %A Odersky, Martin %D 1994 %J ACM Trans. Program. Lang. Syst. %K %N 5 %P 1411-1430 %T Polymorphic Type Inference and Abstract Data Types. %U http://dblp.uni-trier.de/db/journals/toplas/toplas16.html#LauferO94 %V 16

@article{journals/toplas/LauferO94, added-at = {2023-12-12T17:28:42.000+0100}, author = {Läufer, Konstantin and Odersky, Martin}, biburl = {https://www.bibsonomy.org/bibtex/28e87c9406cf21583b704634dab55321f/admin}, ee = {https://doi.org/10.1145/186025.186031}, interhash = {0438a39c7b215464e06722ee512bae8e}, intrahash = {8e87c9406cf21583b704634dab55321f}, journal = {ACM Trans. Program. Lang. Syst.}, keywords = {}, number = 5, pages = {1411-1430}, timestamp = {2023-12-12T17:28:42.000+0100}, title = {Polymorphic Type Inference and Abstract Data Types.}, url = {http://dblp.uni-trier.de/db/journals/toplas/toplas16.html#LauferO94}, volume = 16, year = 1994 }