Compiler Basics

Sat, 23 Oct 2021 00:00:00 -0700

Introduction of compiler basics using a toy example.

Understanding type theory (Part one: Lambda Calculus).

Sun, 14 Apr 2013 00:00:00 -0700

Series Introduction
#

I initially was going to put this together as a single post but quickly realized that it would be a bit much to try and put all of the information into one post. To make it more digestable, I decided to break it up into separate parts. This is by no means a comprehensive study of lambda calculus or type theory, but rather a quick introductory series so you can can get started. My goal is that, by the end, you will be able to understand enough to start reading papers on your own and have some cursory knowledge of type systems. Also, I am targeting programmers that want to get a better understanding of the theory behind type systems in compiler design. If you are comfortable programming in functional languages, then you will start to see many parallels quickly. Although, I will give examples using an imperative approach to cover programmers who may not immediately appreciate these parallels.

Computer Science on Andrew Walsh

Compiler Basics

Understanding type theory (Part one: Lambda Calculus).

Series Introduction #

Series Introduction
#