Call-by-Value Is Dual to Call-by-Name - Reloaded. Wadler, P. In Term Rewriting and Applications, 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005, Proceedings, pages 185-203, 2005. Link bibtex @inproceedings{ DBLP:conf/rta/Wadler05,
author = {Philip Wadler},
title = {Call-by-Value Is Dual to Call-by-Name - Reloaded},
booktitle = {Term Rewriting and Applications, 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005, Proceedings},
pages = {185-203},
ee = {http://springerlink.metapress.com/openurl.asp?genre=article{\&}issn=0302-9743{\&}volume=3467{\&}spage=185} ,
year = {2005}
}
Downloads: 0
{"_id":{"_str":"5206ed28d40bcbb041001498"},"__v":8,"authorIDs":["54589ef4b43425b772000138"],"author_short":["Wadler, P."],"bibbaseid":"wadler-callbyvalueisdualtocallbynamereloaded-2005","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Philip"],"propositions":[],"lastnames":["Wadler"],"suffixes":[]}],"title":"Call-by-Value Is Dual to Call-by-Name - Reloaded","booktitle":"Term Rewriting and Applications, 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005, Proceedings","pages":"185-203","ee":"http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3467&spage=185","year":"2005","bibtex":"@inproceedings{ DBLP:conf/rta/Wadler05,\n author = {Philip Wadler},\n title = {Call-by-Value Is Dual to Call-by-Name - Reloaded},\n booktitle = {Term Rewriting and Applications, 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005, Proceedings},\n pages = {185-203},\n ee = {http://springerlink.metapress.com/openurl.asp?genre=article{\\&}issn=0302-9743{\\&}volume=3467{\\&}spage=185} ,\n year = {2005}\n}\n\n\n","author_short":["Wadler, P."],"key":"DBLP:conf/rta/Wadler05","id":"DBLP:conf/rta/Wadler05","bibbaseid":"wadler-callbyvalueisdualtocallbynamereloaded-2005","role":"author","urls":{"Link":"http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3467&spage=185"},"downloads":0},"bibtype":"inproceedings","biburl":"http://data.bibbase.org/author/philip-wadler/?format=bibtex","downloads":0,"keywords":[],"search_terms":["call","value","dual","call","name","reloaded","wadler"],"title":"Call-by-Value Is Dual to Call-by-Name - Reloaded","title_words":["call","value","dual","name","reloaded"],"year":2005,"dataSources":["uvTgyn2XuxuE4bvHb"]}