Functional Big-step Semantics

Owens, Scott and Myreen, Magnus O. and Kumar, Ramana and Tan, Yong Kiam (2016) Functional Big-step Semantics. In: European Symposium on Programming (ESOP), 2-8 April, 2016, Eindhoven, The Netherlands. (doi:https://doi.org/10.1007/978-3-662-49498-1_23) (Full text available)

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)
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: 08 Jun 2017 08:47 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