conf.researchr.org / Simon Spies

Registered user since Tue 11 Dec 2018

Name: Simon Spies

Country: Germany

Affiliation: Saarland University

Contributions

CoqPL 2020Author of A Coq Library of Undecidable Problems within the CoqPL-track
CPP 2020Author of Undecidability of Higher-Order Unification Formalised in Coq within the CPP 2020-track
CPP 2019Author of Call-By-Push-Value in Coq: Operational, Equational, and Denotational Theory within the CPP 2019-track