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
Using, Understanding, and Unraveling the OCaml Language From Practice to Theory and Vice Versa [link]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