Simply Typed Lambda Calculus

Date: 13:15 13/11-15
Location: Nygaard-192
Host(s): Mathias Pedersen

A couple of weeks ago we got some practical experience with the lambda calculus, and claimed that it was the foundations of all things nice in modern programming languages. But there seems to be something missing? ... Types!

In this presentation we'll go through the first steps to fix this: Adding basic typing rules to the untyped lambda calculus, and seeing what kinds of consequences this has on the expressivity of the language.

If you weren't here for the practical introduction to lambda calculus: Don't panic! We'll go through the details of this minimalistic language before doing any fun extensions.

Evaluation

Login to evaluate.