
Lazy Evaluation: From Natural Semantics to a Machine-checked Compiler Transformation
Paperback Published on: 09/10/2020
Price: £47.70
Publisher information
- Publisher: Saint Philip Street Press
- ISBN: 9781013279782
- Number of pages: 252
- Dimensions: 280 x 216 x 13 mm
- Weight: 590g

















