Open AccessA continuation-passing-style interpretation of simply-typed call-by-need λ-calculus with control within System F
Author(s) -
Hugo Herbelin,
Étienne Miquey
Publication year - 2016
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - English
Resource type - Conference proceedings
Subject(s) - continuation , calculus (dental) , natural deduction , transformation (genetics) , computer science , sequent calculus , style (visual arts) , mathematics , programming language , medicine , dentistry , history , biochemistry , chemistry , geometry , archaeology , mathematical proof , gene