Functional big-step semantics
Paper i proceeding, 2016
Författare
S. Owens
University Of Kent
Magnus Myreen
Chalmers, Data- och informationsteknik, Programvaruteknik
R. Kumar
Commonwealth Scientific and Industrial Research Organisation (CSIRO)
Yong Kiam Tan
Agency for Science, Technology and Research (A*STAR)
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
03029743 (ISSN) 16113349 (eISSN)
Vol. 9632 589-6159783662494974 (ISBN)
Ämneskategorier
Data- och informationsvetenskap
DOI
10.1007/978-3-662-49498-1_23
ISBN
9783662494974