Compilation of modal logic based functional language ML5 to JavaScript.
Switch branches/tags
Nothing to show
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
CPS
Closure
JS
Lambda5
LiftedMonomorphic
ML5 Updates Apr 19, 2017
.gitignore
CPStoClosure.agda
Compile.agda
Definitions.agda
Example.agda
LambdaLifting.agda
LiftedMonomorphicToJS.agda
LiftedMonomorphize.agda
ML5toCPS.agda
README.md

README.md

modal

I am attempting at an Agda implementation of the MinML5 language described in the paper "Modal Types for Mobile Code", with a few changes to the language.

After the compilation of MinML5 to JavaScript, I will try to prove the correctness of the compiler.