https://github.com/joom/modal
Compilation of modal logic based functional language ML5 to JavaScript.
https://github.com/joom/modal
agda compiler javascript logic modal-logic
Last synced: 11 months ago
JSON representation
Compilation of modal logic based functional language ML5 to JavaScript.
- Host: GitHub
- URL: https://github.com/joom/modal
- Owner: joom
- Created: 2016-05-16T14:26:42.000Z (about 10 years ago)
- Default Branch: master
- Last Pushed: 2017-04-19T05:40:18.000Z (about 9 years ago)
- Last Synced: 2025-05-01T03:36:19.401Z (about 1 year ago)
- Topics: agda, compiler, javascript, logic, modal-logic
- Language: Agda
- Homepage:
- Size: 106 KB
- Stars: 9
- Watchers: 2
- Forks: 1
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
# modal
I am attempting at an Agda implementation of the MinML5 language described in the paper
["Modal Types for Mobile Code"](http://www.cs.cmu.edu/~tom7/papers/modal-types-for-mobile-code.pdf),
with a few changes to the language.
After the compilation of MinML5 to JavaScript, I will try to prove the correctness of the compiler.