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: (Full text available)

PDF (The final publication is available at - Author's Accepted Manuscript
Download (324kB) Preview
Official URL
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: (The current URI for this page, for reference purposes)
Owens, Scott:
  • Depositors only (login required):


Downloads per month over past year