gfngfn/poly-shift-reset

An implementation of λ_{let}^{s/r} [Asai & Kameyama 2007]

语言：OCaml · GitHub 星标：2 · Fork：0

话题：continuation · delimited-continuation · ocaml · polymorphic-types · type-checker · type-system

在 GitHub 上查看原仓库