%0 Journal Article %1 journals/toplas/AppelM01 %A Appel, Andrew W. %A McAllester, David A. %D 2001 %J ACM Trans. Program. Lang. Syst. %K dblp %N 5 %P 657-683 %T An indexed model of recursive types for foundational proof-carrying code. %U http://dblp.uni-trier.de/db/journals/toplas/toplas23.html#AppelM01 %V 23

@article{journals/toplas/AppelM01, added-at = {2020-06-15T00:00:00.000+0200}, author = {Appel, Andrew W. and McAllester, David A.}, biburl = {https://www.bibsonomy.org/bibtex/2e1d1ee8d7f141fded00b1b584b30489d/dblp}, ee = {https://doi.org/10.1145/504709.504712}, interhash = {509997edcf35def46a1154e6c7814454}, intrahash = {e1d1ee8d7f141fded00b1b584b30489d}, journal = {ACM Trans. Program. Lang. Syst.}, keywords = {dblp}, number = 5, pages = {657-683}, timestamp = {2020-06-16T12:02:53.000+0200}, title = {An indexed model of recursive types for foundational proof-carrying code.}, url = {http://dblp.uni-trier.de/db/journals/toplas/toplas23.html#AppelM01}, volume = 23, year = 2001 }