Dataset

Accompanying material for the article 'no value restriction is needed for algebraic effects and handlers'

Alternative title:: Formalisation in Twelf

Documentation:: Accompannying material for _No value restriction is needed for algebraic effects and handlers_ ============================================================================================== [Ohad Kammar](http://www.cs.ox.ac.uk/people/ohad.kammar) and [Matija Pretnar](http://matija.pretnar.info/) This code (value-restriction.tar.gz) formalises the basic meta-theoretic properties of the different variations of the calculus presented in the aforementioned article. The code is based on [M...
Expand documentation
Collapse documentation

Actions

Email

Email this record

Send the bibliographic details of this record to your email address.

Your Email
Please enter the email address that the record information will be sent to.

-
Your message (optional)
Please add any additional information to be included within the email.
Share
Cite

Cite this record

APA Style

Pretnar, M. (2016). Accompanying material for the article 'no value restriction is needed for algebraic effects and handlers'. University of Oxford.

MLA Style

Pretnar, M. Accompanying Material for the Article 'No Value Restriction Is Needed for Algebraic Effects and Handlers'. University of Oxford, 2016.

Chicago Style

Pretnar, M. 2016. Accompanying Material for the Article 'No Value Restriction Is Needed for Algebraic Effects and Handlers'. University of Oxford.
Print

Access Document

Files:: value-restriction.tar.gz

(gz, 36.0KB, Terms of use)

Authors/Creators

+ Pretnar, M More by this author/creator

Department:: University of Ljubljana
Role:: Data curator, Contributor, Creator, Researcher

Contributors

Department:: Computer Science
Role:: Researcher

+ Air Force Office of Scientific Research, Air Force Materiel Command, USAF More from this funder

Grant:: FA9550-14-1-0096

+ Engineering and Physical Sciences Research Council More from this funder

Grant:: EP/N007387/1

+ European Research Council More from this funder

Grant:: Eventscausality; symmetry:thenext-generationsemantics

Publisher:: University of Oxford
Publication date:: 2016
DOI:: 10.5287/bodleian:KZk7zaXZb

Language:: English
Keywords:: value restriction

algebraic effects

Hindley-Milner polymorphism

effect handlers

let-polymorphism

type and effect systems

Twelf

dynamic binding
Subjects:: Programming languages (Electronic computers)--Semantics
Pubs id:: 1480440
UUID:: uuid:ab54ef8d-373e-448b-8466-dbb12e6b644e
Local pid:: pubs:1480440
Deposit date:: 2016-12-06
ARK identifier:: ark:/29072/ora_ab54ef8d373e448b8466dbb12e6b644e

Terms of use

Copyright date:: 2016

Licence:: Terms and Conditions of Use for Oxford University Research Archive

Views and Downloads

Views and downloads will return soon

If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP