Giters

simonl / TypeTheory

Evaluation/Compilation of abstract syntax, from direct style to continuation passing. (06/2014)

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

TypeTheory

Evaluation/Compilation of abstract syntax, from direct style to continuation passing. (06/2014)

About

Evaluation/Compilation of abstract syntax, from direct style to continuation passing. (06/2014)

Languages

Language:C# 100.0%