Skip to content

BFPG Monthly Meetup

Photo of Ben Kolera
Hosted By
Ben K.
BFPG Monthly Meetup

Details

Programming Language Theory (PLT) - Part 1 - Dave Laing

This talk is about the concepts and techniques you're likely to come across if you want to stick your nose into PLT related literature or blog posts.

This can be intimidating stuff if you come across it in a paper and don't have some help to guide you through the notation and terminology, so hopefully this talk will make this area less scary.

We'll start with a simple arithmetic language and work through to simply typed lambda calculus.
Along the way we'll cover the details of small-step semantics and type systems, along with the various properties that are often talked about in the literature and why they're important.

(If this looks familiar, that is because a longer and more intense version of this talk has been given in the past - the goal this time is to break things up into multiple talks and to go through more content in more depth.)

Photo of Brisbane Functional Programming Group (BFPG) group
Brisbane Functional Programming Group (BFPG)
See more events
Data61/CSIRO Fortitude Valley
Level 2, T C Beirne Centre, 315 Brunswick Street, Fortitude Valley 4006 QLD · Brisbane