%0 Conference Paper %1 conf/cc/Necula06 %A Necula, George C. %B CC %D 2006 %E Mycroft, Alan %E Zeller, Andreas %I Springer %K dblp %P 1 %T Using Dependent Types to Port Type Systems to Low-Level Languages. %U http://dblp.uni-trier.de/db/conf/cc/cc2006.html#Necula06 %V 3923 %@ 3-540-33050-X

@inproceedings{conf/cc/Necula06, added-at = {2018-06-26T00:00:00.000+0200}, author = {Necula, George C.}, biburl = {https://www.bibsonomy.org/bibtex/20dddd53e06e8dbb6534211579279e2b9/dblp}, booktitle = {CC}, crossref = {conf/cc/2006}, editor = {Mycroft, Alan and Zeller, Andreas}, ee = {https://doi.org/10.1007/11688839_1}, interhash = {f71a0644fcb64c6854dcda20e7798bd3}, intrahash = {0dddd53e06e8dbb6534211579279e2b9}, isbn = {3-540-33050-X}, keywords = {dblp}, pages = 1, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T17:38:32.000+0200}, title = {Using Dependent Types to Port Type Systems to Low-Level Languages.}, url = {http://dblp.uni-trier.de/db/conf/cc/cc2006.html#Necula06}, volume = 3923, year = 2006 }