Orpheas van Rooij

Logo

About Me

My main research interests are in semantics of effects, category theory, separation logic, effects handlers and programming language research in general. For more details you can check my CV.

Education

Publications

Professional Activities