Programming Systems Lab: Publications by Fabian Kunze

Saarland University Computer Science

Select author:

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