Using, Understanding, and Unraveling the OCaml Language From Practice to Theory and Vice Versa. Rémy, D. In Goos, G., Hartmanis, J., van Leeuwen, J., Barthe, G., Dybjer, P., Pinto, L., & Saraiva, J., editors, Applied Semantics, volume 2395, pages 413–536. Springer Berlin Heidelberg, Berlin, Heidelberg, 2002. Series Title: Lecture Notes in Computer Science
Paper doi abstract bibtex These course notes are addressed to a wide audience of people interested in modern programming languages in general, ML-like languages in particular, or simply in OCaml, whether they are programmers or language designers, beginners or knowledgeable readers —little prerequiresite is actually assumed.
@incollection{goos_using_2002,
address = {Berlin, Heidelberg},
title = {Using, {Understanding}, and {Unraveling} the {OCaml} {Language} {From} {Practice} to {Theory} and {Vice} {Versa}},
volume = {2395},
isbn = {978-3-540-44044-4 978-3-540-45699-5},
url = {http://link.springer.com/10.1007/3-540-45699-6_9},
abstract = {These course notes are addressed to a wide audience of people interested in modern programming languages in general, ML-like languages in particular, or simply in OCaml, whether they are programmers or language designers, beginners or knowledgeable readers —little prerequiresite is actually assumed.},
language = {en},
urldate = {2020-05-22},
booktitle = {Applied {Semantics}},
publisher = {Springer Berlin Heidelberg},
author = {Rémy, Didier},
editor = {Goos, G. and Hartmanis, J. and van Leeuwen, J. and Barthe, Gilles and Dybjer, Peter and Pinto, Luís and Saraiva, João},
year = {2002},
doi = {10.1007/3-540-45699-6_9},
note = {Series Title: Lecture Notes in Computer Science},
pages = {413--536}
}
Downloads: 0
{"_id":"WQyCp62u3BgJGbfvh","bibbaseid":"rmy-usingunderstandingandunravelingtheocamllanguagefrompracticetotheoryandviceversa-2002","authorIDs":[],"author_short":["Rémy, D."],"bibdata":{"bibtype":"incollection","type":"incollection","address":"Berlin, Heidelberg","title":"Using, Understanding, and Unraveling the OCaml Language From Practice to Theory and Vice Versa","volume":"2395","isbn":"978-3-540-44044-4 978-3-540-45699-5","url":"http://link.springer.com/10.1007/3-540-45699-6_9","abstract":"These course notes are addressed to a wide audience of people interested in modern programming languages in general, ML-like languages in particular, or simply in OCaml, whether they are programmers or language designers, beginners or knowledgeable readers —little prerequiresite is actually assumed.","language":"en","urldate":"2020-05-22","booktitle":"Applied Semantics","publisher":"Springer Berlin Heidelberg","author":[{"propositions":[],"lastnames":["Rémy"],"firstnames":["Didier"],"suffixes":[]}],"editor":[{"propositions":[],"lastnames":["Goos"],"firstnames":["G."],"suffixes":[]},{"propositions":[],"lastnames":["Hartmanis"],"firstnames":["J."],"suffixes":[]},{"propositions":["van"],"lastnames":["Leeuwen"],"firstnames":["J."],"suffixes":[]},{"propositions":[],"lastnames":["Barthe"],"firstnames":["Gilles"],"suffixes":[]},{"propositions":[],"lastnames":["Dybjer"],"firstnames":["Peter"],"suffixes":[]},{"propositions":[],"lastnames":["Pinto"],"firstnames":["Luís"],"suffixes":[]},{"propositions":[],"lastnames":["Saraiva"],"firstnames":["João"],"suffixes":[]}],"year":"2002","doi":"10.1007/3-540-45699-6_9","note":"Series Title: Lecture Notes in Computer Science","pages":"413–536","bibtex":"@incollection{goos_using_2002,\n\taddress = {Berlin, Heidelberg},\n\ttitle = {Using, {Understanding}, and {Unraveling} the {OCaml} {Language} {From} {Practice} to {Theory} and {Vice} {Versa}},\n\tvolume = {2395},\n\tisbn = {978-3-540-44044-4 978-3-540-45699-5},\n\turl = {http://link.springer.com/10.1007/3-540-45699-6_9},\n\tabstract = {These course notes are addressed to a wide audience of people interested in modern programming languages in general, ML-like languages in particular, or simply in OCaml, whether they are programmers or language designers, beginners or knowledgeable readers —little prerequiresite is actually assumed.},\n\tlanguage = {en},\n\turldate = {2020-05-22},\n\tbooktitle = {Applied {Semantics}},\n\tpublisher = {Springer Berlin Heidelberg},\n\tauthor = {Rémy, Didier},\n\teditor = {Goos, G. and Hartmanis, J. and van Leeuwen, J. and Barthe, Gilles and Dybjer, Peter and Pinto, Luís and Saraiva, João},\n\tyear = {2002},\n\tdoi = {10.1007/3-540-45699-6_9},\n\tnote = {Series Title: Lecture Notes in Computer Science},\n\tpages = {413--536}\n}\n\n","author_short":["Rémy, D."],"editor_short":["Goos, G.","Hartmanis, J.","van Leeuwen, J.","Barthe, G.","Dybjer, P.","Pinto, L.","Saraiva, J."],"key":"goos_using_2002","id":"goos_using_2002","bibbaseid":"rmy-usingunderstandingandunravelingtheocamllanguagefrompracticetotheoryandviceversa-2002","role":"author","urls":{"Paper":"http://link.springer.com/10.1007/3-540-45699-6_9"},"downloads":0,"html":""},"bibtype":"incollection","biburl":"https://bibbase.org/zotero/21h","creationDate":"2020-05-22T18:11:30.166Z","downloads":0,"keywords":[],"search_terms":["using","understanding","unraveling","ocaml","language","practice","theory","vice","versa","rémy"],"title":"Using, Understanding, and Unraveling the OCaml Language From Practice to Theory and Vice Versa","year":2002,"dataSources":["NpxDwkFvCjNmGYFSj"]}