GitHub - Arash-Afshar/CoreML: This is a simple compiler, using OCaml for a variation of ML language which supports variables, application, abstraction, let polymorphism, branches, integers, and booleans. Credit: Most of the code is borrowed from http://caml.inria.fr/pub/docs/u3-ocaml/ocaml-ml.html

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 10 Commits
Makefile		Makefile
README		README
all.ml		all.ml
compiler.ml		compiler.ml
infer.ml		infer.ml
lexer.mll		lexer.mll
parser.mly		parser.mly
poly.ml		poly.ml
prog.ml		prog.ml
program		program
reduce.ml		reduce.ml
syntax.ml		syntax.ml
typescheme.ml		typescheme.ml
unify.ml		unify.ml

Repository files navigation

This code is a compiler for a simple variant of ML language and is intended to be the base for the implementation of 
the paper titled "Reconstructing security types for automated policy enforcement in FABLE".

The initial code borrowed from ocaml: http://caml.inria.fr/pub/docs/u3-ocaml/ocaml-ml.html

This code is released under GPL terms plus any restriction imposed by http://caml.inria.fr/pub/docs/u3-ocaml/ocaml-ml.html

Hope you enjoy this and find it useful!
Arash Afshar

About

This is a simple compiler, using OCaml for a variation of ML language which supports variables, application, abstraction, let polymorphism, branches, integers, and booleans. Credit: Most of the code is borrowed from http://caml.inria.fr/pub/docs/u3-ocaml/ocaml-ml.html

Readme