Tags → #racket
-
Implementing the simply-typed lambda calculus
Build an interpreter for the simply-typed lambda calculus in Racket
-
Making Khichdi
This article summarizes most of the ideas I learned in CPSC 311: Definition of Programming Languages
-
Implementing proper tail calls in C
This article explains trampolining - a technique that is used to implement tail calls in languages that does not support them