llf/opsem at master · clf/llf · GitHub

Name		Name	Last commit message	Last commit date
parent directory ..
CM		CM
README		README
absmachine.fun		absmachine.fun
absmachine.sig		absmachine.sig
compile.fun		compile.fun
compile.sig		compile.sig
compsyn.fun		compsyn.fun
compsyn.sig		compsyn.sig
cprint.fun		cprint.fun
cprint.sig		cprint.sig
opsem.sml		opsem.sml
sources.cm		sources.cm

README

Operational Semantics, including compiler and abstract machine
Author: Iliano Cervesato
Modified: Jeff Polakow