Programming Systems Lab: Publications by Simon Spies

Saarland University Computer Science

Select author:

2019

Call-By-Push-Value in Coq: Operational, Equational and Denotational Theory   (pdf)
Yannick Forster, Steven Schäfer, Simon Spies, Kathrin Stark
8th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2019, Cascais, Portugal, January 14-15, 2019


Login to edit


Legal notice, Privacy policy