OnDoc
| sign
in
up
~
pub
|
pdf
txt
html
toc
url
|
<<
>>
1
2
3
4
5
6
7
8
~
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