My name is Simon Spies and I'm currently doing my Master's degree at the University of Cambridge. I did my Bachelor's thesis at the Programming Systems Lab.
Undecidability of Higher-Order Unification Formalised in Coq (pdf) (slides)
Simon Spies and Yannick Forster
CPP 2020, New Orleans, USA, 2020.
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.