lf-class

Lecture 3: Higher-Order Abstract Syntax

Code: STLC with pairs

Code: Intrinsic STLC

Lecture plan

Go over exercises:

• Extending STLC with pairs and split
• Intrinsic encoding of (base) STLC