#

polymorphic-types

Here is 1 public repository matching this topic...

gfngfn / poly-shift-reset

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

ocaml continuation polymorphic-types type-system delimited-continuation type-checker

Updated Mar 24, 2017
OCaml

Improve this page

Add a description, image, and links to the polymorphic-types topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the polymorphic-types topic, visit your repo's landing page and select "manage topics."