Comment by fweimer

This research is related to the Koka programming language: https://koka-lang.github.io/koka/doc/