fmct
There are 1 repositories under fmct topic.
cstml/FMCt
Functional Machine Calculus typed. A programming language based on the FMC paper, developed from scratch for a Dissertation project.
There are 1 repositories under fmct topic.
Functional Machine Calculus typed. A programming language based on the FMC paper, developed from scratch for a Dissertation project.