Programming Systems Lab: Publications by Fabian Kunze

Saarland University Computer Science

Select author:


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