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: 6 days ago
JSON representation

• Host: GitHub
• URL: https://github.com/gfngfn/lambda-next-box
• Owner: gfngfn
• Created: 2016-08-06T10:24:43.000Z (over 8 years ago)
• Default Branch: master
• Last Pushed: 2016-09-24T12:31:37.000Z (over 8 years ago)
• Last Synced: 2024-11-15T12:06:03.388Z (2 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