15-312 Foundations of Programming Languages
Recitation 4

• Last minute homework 2 questions
• Introduction to call-by-name semantics
• Review Progress/Preservation proofs for Run-time Errors

[ Home | Schedule | Assignments | Software | Resources ]

fp@cs
Frank Pfenning