Satoru Kawahara

researching control operators, especially delimited continuations, coroutines and algebraic effects; loving constructig functional programming languages type system, semantics and implementation