%0 Conference Paper %1 conf/esop/SmithWM00 %A Smith, Frederick %A Walker, David %A Morrisett, J. Gregory %B ESOP %D 2000 %E Smolka, Gert %I Springer %K dblp %P 366-381 %T Alias Types. %U http://dblp.uni-trier.de/db/conf/esop/esop2000.html#SmithWM00 %V 1782 %@ 3-540-67262-1

@inproceedings{conf/esop/SmithWM00, added-at = {2024-04-08T00:00:00.000+0200}, author = {Smith, Frederick and Walker, David and Morrisett, J. Gregory}, biburl = {https://www.bibsonomy.org/bibtex/2ca8666e9c9ead5ed4a7d70e60bd4f349/dblp}, booktitle = {ESOP}, crossref = {conf/esop/2000}, editor = {Smolka, Gert}, ee = {https://doi.org/10.1007/3-540-46425-5_24}, interhash = {c7cb85b4c387b6e5f7c5c018a3a48adc}, intrahash = {ca8666e9c9ead5ed4a7d70e60bd4f349}, isbn = {3-540-67262-1}, keywords = {dblp}, pages = {366-381}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-12T14:43:10.000+0200}, title = {Alias Types.}, url = {http://dblp.uni-trier.de/db/conf/esop/esop2000.html#SmithWM00}, volume = 1782, year = 2000 }