This event is in the past.It took place on April 17, 2026 at East Hall.
Educational TalkType theory seminar: Type inference
April 17 at 1pm
At East Hall
Burns Park, Ann Arbor
📝Bring a notebook for derivations
🔢Familiarity with basic lambda calculus helps
☕Afternoon slot, grab coffee before
Dive 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
Educational TalkType theory seminar: Type inference
April 17 at 1pm
At East Hall
Burns Park, Ann Arbor
📝Bring a notebook for derivations
🔢Familiarity with basic lambda calculus helps
☕Afternoon slot, grab coffee before
Dive 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