yiyunliu/cek-machine-in-sml
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
No description
8 commits 1 branch 0 tags 46 KiB
  • Standard ML 100%
Find a file
Exact
Yiyun Liu c7b7f9a7bb Factor out env push and pop into eval_with_bindings
2026-03-27 00:01:28 -04:00
main.sml Factor out env push and pop into eval_with_bindings 2026-03-27 00:01:28 -04:00
README.org Add README.org 2026-03-26 22:39:59 -04:00

README.org

CEK machine in SML

An implementation of Felleisen and Friedman's CEK machine in Standard ML. I purposefully chose a language that I barely use so I won't waste time enforcing good coding style knowing that it'd be futile anyways.

The machine supports Felleisen's reset0 and shift0 primitives. I plan to implement a more expressive surface language that supports algebraic effects and higher-order functions.