This event is in the past.It took place on April 17, 2026 at East Hall.
Educational TalkEducational TalkDive into the elegant machinery behind modern programming languages at this seminar on type inference algorithms. Ethan Parker walks through Chapter 9 of Selinger's lambda calculus notes, unpacking how compilers automatically deduce types.
academic seminar
mathematics
logic & computation
graduate-level
Tips
📝bring a notebook for derivations
🔢familiarity with basic lambda calculus helps
☕afternoon slot, grab coffee before
Type theory seminar: Type inference
Burns Park
Educational TalkEducational TalkDive into the elegant machinery behind modern programming languages at this seminar on type inference algorithms. Ethan Parker walks through Chapter 9 of Selinger's lambda calculus notes, unpacking how compilers automatically deduce types.
academic seminar
mathematics
logic & computation
graduate-level
Tips
📝bring a notebook for derivations
🔢familiarity with basic lambda calculus helps
☕afternoon slot, grab coffee before
Make it an outing
Add nearby spots before or after your event