OnDoc
| sign
in
up
~
pub
|
pdf
txt
html
toc
url
|
<<
>>
1
~
5
6
7
8
9
10
11
~
15
Table of Contents
Introduction
Motivating example: Nix expressions
Syntax
Semantics
Implementation
Evaluation through rewriting
Maximal sharing with ATerms
Maximal laziness
Optimisations
Optimising substitution
Blackholing
Optimisations
Evaluation
Related work
Conclusion
References