You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
• Call-by-value<br />
• Call-by-need<br />
Higher Order Interpreters<br />
• HOAS<br />
• PHOAS<br />
• Embedding IO<br />
78