Name: BFPG Monthly Meetup
Start: 2019-02-12T17:45:00+10:00
End: 2019-02-12T19:45:00+10:00
Location: Data61/CSIRO Fortitude Valley

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.)

Ben Kolera

Brisbane Functional Programming Group (BFPG)

Technology

Functional Programming

Programming Languages

Scala

Haskell

Erlang Programming

Computer Programming

OCaml Programming

BFPG Monthly Meetup

Data61/CSIRO Fortitude Valley

Share

Brisbane Functional Programming Group (BFPG)

BFPG Monthly Meetup

Brisbane Functional Programming Group (BFPG)

Details

Members are also interested in