A universal lowering strategy for control effects in Rust| www.abubalay.com
Koka Language Specification| koka-lang.github.io
