14 ms·
It looks like a lambda calculus with effectful computations that can model imperative programming. I hadn't heard of it before either. https://en.wikipedia.or
by throwaway81523 1y ago
It looks like a lambda calculus with effectful computations that can model imperative programming. I hadn't heard of it before either.
https://en.wikipedia.org/wiki/Call-by-push-value https://en.wikipedia.org/wiki/Call-by-push-value