%0 Conference Paper %1 conf/tic/Crary00 %A Crary, Karl %B Types in Compilation %D 2000 %E Harper, Robert %I Springer %K dblp %P 1-26 %T Sound and Complete Elimination of Singleton Kinds. %U http://dblp.uni-trier.de/db/conf/tic/tic2000.html#Crary00 %V 2071 %@ 3-540-42196-3

@inproceedings{conf/tic/Crary00, added-at = {2017-05-17T00:00:00.000+0200}, author = {Crary, Karl}, biburl = {https://www.bibsonomy.org/bibtex/275b3c4fdb3bbc857edfbe09049a2acb6/dblp}, booktitle = {Types in Compilation}, crossref = {conf/tic/2000}, editor = {Harper, Robert}, ee = {https://doi.org/10.1007/3-540-45332-6_1}, interhash = {c41b317df27d2f4bfce932a83d300a97}, intrahash = {75b3c4fdb3bbc857edfbe09049a2acb6}, isbn = {3-540-42196-3}, keywords = {dblp}, pages = {1-26}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T16:35:23.000+0200}, title = {Sound and Complete Elimination of Singleton Kinds.}, url = {http://dblp.uni-trier.de/db/conf/tic/tic2000.html#Crary00}, volume = 2071, year = 2000 }