BFPG Meetup - June 2025 - Explicit Subtitutions Part 2 + LIGHTNING TALKS

​Agenda

• ​18:00: Welcome and setup

• ​​Presentation #1: Explicit Substitutions Part 2 - Donovan Crichton

• ​⚡ Lightning talks ⚡ / Show and Tell

• ​​20:00ish: Pack down, head to Criterion pub.

​Explicit Substitutions Part 2

​During Part 1 (April) we covered the syntax for expression grammars, typing rules, and the simply typed lambda calculus, finishing off with an extended syntax for explicit substitutions.

​This talk will extend Part 1 by showing how to read (the syntax) and understand the intended behavior (semantics) of the new substitution combinators in our extended lambda calculus. We will then extend this approach to dependent types and show how to we may read presentations found in modern papers on dependent type systems.

​Lightning talks / show and tell

​The floor is open for anyone to come and present on FP related topics. Have you discovered a nifty tool? Tell us about your side project. Or share your FP struggles.