%0 Journal Article %1 journals/toplas/MillsteinBC04 %A Millstein, Todd D. %A Bleckner, Colin %A Chambers, Craig %D 2004 %J ACM Trans. Program. Lang. Syst. %K dblp %N 5 %P 836-889 %T Modular typechecking for hierarchically extensible datatypes and functions. %U http://dblp.uni-trier.de/db/journals/toplas/toplas26.html#MillsteinBC04 %V 26

@article{journals/toplas/MillsteinBC04, added-at = {2018-11-06T00:00:00.000+0100}, author = {Millstein, Todd D. and Bleckner, Colin and Chambers, Craig}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/23c29935a2b269d6b1625e1733d7f74f2/dblp}, ee = {https://doi.org/10.1145/1018203.1018207}, interhash = {5f8468e85350f993ea9957c5b6a16770}, intrahash = {3c29935a2b269d6b1625e1733d7f74f2}, journal = {ACM Trans. Program. Lang. Syst.}, keywords = {dblp}, number = 5, pages = {836-889}, timestamp = {2019-09-27T11:50:42.000+0200}, title = {Modular typechecking for hierarchically extensible datatypes and functions.}, url = {http://dblp.uni-trier.de/db/journals/toplas/toplas26.html#MillsteinBC04}, volume = 26, year = 2004 }