OnDoc
| sign
in
up
~
pub
|
pdf
txt
html
toc
url
|
<<
>>
1
2
3
4
5
6
Table of Contents
Introduction
A Toy Evaluator
Creating HOAS Representations
Advantages of the HOAS Representation
Improving the Code
Making ev Self-Hosting
Bootstrapping the Evaluator
HOAS Disadvantages
Conclusion