• Sign in
  • Sign up
conf.researchr.org / Simon Spies
  • POPL 2019 profile
  • POPL 2020 profile

Registered user since Tue 11 Dec 2018

Name: Simon Spies

Country: Germany

Affiliation: Saarland University

Contributions

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

Share
xTue 2 Mar 00:33
using conf.researchr.org (v1.42.1)
Support page
Sign Up