Showing 1 - 1 results of 1 for search 'Breitner, Joachim', query time: 0.01s
Refine Results
-
1
Lazy Evaluation: From natural semantics to a machine-checked compiler transformation by Breitner, Joachim
Published 2016DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter