https://github.com/gfngfn/poly-shift-reset

An implementation of λ_{let}^{s/r} [Asai & Kameyama 2007]
https://github.com/gfngfn/poly-shift-reset

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

Last synced: 6 days ago
JSON representation

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

• Host: GitHub
• URL: https://github.com/gfngfn/poly-shift-reset
• Owner: gfngfn
• Created: 2017-03-22T04:48:15.000Z (almost 8 years ago)
• Default Branch: master
• Last Pushed: 2017-03-24T08:17:16.000Z (almost 8 years ago)
• Last Synced: 2024-11-15T12:06:03.379Z (2 months ago)
• Topics: continuation, delimited-continuation, ocaml, polymorphic-types, type-checker, type-system
• Language: OCaml
• Size: 68.4 KB
• Stars: 2
• Watchers: 3
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        


# Poly-Shift/Reset

## Summary

This is an implementation of the polymorphic type system λ_{let}^{s/r}, which deals with the shift/reset operation and was proposed in:

> K. Asai and Y. Kameyama. Polymorphic delimited continuations. In: Z. Shao (eds) APLAS'07 Proceedings of the 5th Asian Conference on Programming Languages and Systems, pp. 239-254, 2007.

## Usage

```

    $ polysr 

```