Dataset icon

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 [Matija ...

Expand documentation

Actions


Access Document


Files:

Authors/Creators


More by this author/creator
Department:
University of Ljubljana
Role:
Data curator, Contributor, Creator, Researcher

Contributors

Department:
Computer Science
Role:
Researcher
More from this funder
Name:
Air Force Office of Scientific Research, Air Force Materiel Command, USAF
Grant:
FA9550-14-1-0096
More from this funder
Name:
Engineering and Physical Sciences Research Council
Grant:
EP/N007387/1
More from this funder
Name:
European Research Council
Grant:
Eventscausality
symmetry:thenext-generationsemantics
Publisher:
University of Oxford
Publication date:
2016
DOI:

Terms of use


Views and Downloads






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

TO TOP