Skip to main content

Functional Big-step Semantics

Owens, Scott, Myreen, Magnus O., Kumar, Ramana, Tan, Yong Kiam (2016) Functional Big-step Semantics. In: Lecture Notes in Computer Science. Lecture Notes in Computer Science. 9632. Springer (doi:10.1007/978-3-662-49498-1_23)

PDF (The final publication is available at link.springer.com) - Author's Accepted Manuscript
Download (324kB) Preview
[img]
Preview
Official URL
http://dx.doi.org/10.1007/978-3-662-49498-1_23
Item Type: Conference or workshop item (Proceeding)
DOI/Identification number: 10.1007/978-3-662-49498-1_23
Subjects: Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming,
Divisions: Faculties > Sciences > School of Computing
Faculties > Sciences > School of Computing > Programming Languages and Systems Group
Depositing User: Scott Owens
Date Deposited: 18 Dec 2015 23:51 UTC
Last Modified: 29 May 2019 16:49 UTC
Resource URI: https://kar.kent.ac.uk/id/eprint/53533 (The current URI for this page, for reference purposes)
Owens, Scott: https://orcid.org/0000-0002-7437-4780
  • Depositors only (login required):

Downloads

Downloads per month over past year