Lazy Evaluation
Subtitle: From Natural Semantics to a Machine-checked Compiler Transformation
Publisher: Saint Philip Street Press
Published: Oct 09, 2020
Format: hardcover
Number of pages: 252
ISBN-13: 9781013279799
Notes: Source title: Lazy Evaluation: From Natural Semantics to a Machine-checked Compiler Transformation