GitHub - barras/abstract-machines: Implementations in OCaml of various abstract machines · GitHub

Name		Name	Last commit message	Last commit date
Latest commit History 2 Commits
global_env.ml		global_env.ml
split_env.ml		split_env.ml
split_env_named.ml		split_env_named.ml

About

Implementations in OCaml of various abstract machines

Report repository

Releases

No releases published

Packages

Contributors

Languages

OCaml 100.0%