Programming Systems Lab: Publications by Fabian Kunze

Saarland University Computer Science

Select author:

2019

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)

2018

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