Programming Systems Lab: Publications by Fabian Kunze

Saarland University Computer Science

Select author:


A certifying extraction with time bounds from Coq to call-by-value λ-calculus   (pdf)
Yannick Forster, Fabian Kunze
Interactive Theorem Proving - 10th International Conference, ITP 2019, Portland, USA

The Weak Call-By-Value λ-Calculus is Reasonable for Both Time and Space   (pdf)
Yannick Forster, Fabian Kunze, Marc Roth
Technical Report, Full version appeared as arXiv:1902.07515 (To appear)


Formal Small-step Verification of a Call-by-value Lambda Calculus Machine   (pdf)
Fabian Kunze, Gert Smolka, Yannick Forster
16th Asian Symposium on Programming Languages and Systems, APLAS 2018, Wellington, New Zealand, December 2-6

Login to edit

Legal notice, Privacy policy