https://github.com/gfngfn/lambda-next-box
https://github.com/gfngfn/lambda-next-box
code-generation interpreter metaprogramming ocaml type-checker type-system
Last synced: about 1 month ago
JSON representation
- Host: GitHub
- URL: https://github.com/gfngfn/lambda-next-box
- Owner: gfngfn
- Created: 2016-08-06T10:24:43.000Z (about 9 years ago)
- Default Branch: master
- Last Pushed: 2016-09-24T12:31:37.000Z (about 9 years ago)
- Last Synced: 2025-03-05T10:47:08.801Z (7 months ago)
- Topics: code-generation, interpreter, metaprogramming, ocaml, type-checker, type-system
- Language: OCaml
- Size: 26.4 KB
- Stars: 0
- Watchers: 3
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
# λ○□
This is an implementation for λ○□.
The system λ○□ is a λ-calculus for a kind of multi-stage programming based on linear-time temporal logic,
which was proposed in
> Yosihiro Yuse and Atsushi Igarashi. 2006. A modal type system for multi-level generating extensions with persistent code. In Proceedings of the 8th ACM SIGPLAN international conference on Principles and practice of declarative programming (PPDP '06). ACM, New York, NY, USA, 201-212. DOI=http://dx.doi.org/10.1145/1140335.1140360