Lazy Evaluation
Subtitle: From natural semantics to a machine-checked compiler transformation
Publisher: KIT Scientific Publishing
Published: Sep 20, 2016
Format: paperback
Number of pages: 256
ISBN-13: 9783731505464
Notes: Source title: Lazy Evaluation: From natural semantics to a machine-checked compiler transformation