research
∙
04/19/2020
Code Review in the Classroom
This paper presents a case study to examine the affinity of the code rev...
share
research
∙
06/04/2019
Towards A Broader Acceptance Of Formal Verification Tools: The Role Of Education
Formal methods yet advantageous, face challenges towards wide acceptance...
research
∙
02/19/2018
Implementing distributed λ-calculus interpreter
This paper describes how one can implement distributed λ-calculus interp...
research
∙
12/15/2017
Taylor expansion in linear logic is invertible
Each Multiplicative Exponential Linear Logic (MELL) proof-net can be exp...
research
∙
10/22/2017