Functional big-step semantics
Paper in proceeding, 2016
Author
S. Owens
University Of Kent
Magnus Myreen
Chalmers, Computer Science and Engineering (Chalmers), Software Technology (Chalmers)
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)
Subject Categories
Computer and Information Science
DOI
10.1007/978-3-662-49498-1_23
ISBN
9783662494974