Simon Spies

Saarland University Computer Science

My name is Simon Spies and I am currently working on my Bachelor's thesis at the Programming Systems Lab.


Call-By-Push-Value in Coq: Operational, Equational and Denotational Theory (pdf) (slides)
Yannick Forster, Steven Schäfer, Simon Spies, Kathrin Stark
CPP 2019, Cascais, Portugal, 2019.

Legal notice, Privacy policy