Ikuo Kobori funikk
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| open Delimcc;; | |
| type id = string | |
| type exp = | |
| | Var of id | |
| | Fun of id * exp | |
| | Const of int | |
| | BinOp of exp * exp | |
| | App of exp * exp |
funikk
/ interp2.ml
Created
May 3, 2015 06:38
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| (* A tagless-final embedding of the language with shift/reset | |
| operators and fully supported answer-type modification (ATM). | |
| This implementation is based on the prompt-passing translation | |
| described in the paper "ATM without tears: prompt-passing style | |
| transformation for typed delimited-control operators" | |
| http://ebooks.au.dk/index.php/aul/catalog/view/4/4/31-1 | |
| *) | |
| open Delimcc;; |