This talk is an introduction on lambda calculus and will address the foundations of functional programming languages.

We will learn the building blocks of lambda calculus - syntax, rules, and application.


Outline/Structure of the Talk

I wish ("wishful thinking") to keep this a surprise.

Learning Outcome

We will be able to better understand and appreciate the interpretation of the various language constructs and its use in functional programs.

Target Audience

Students, beginners to functional programming

schedule Submitted 6 years ago

Public Feedback