Saliya's Blogs

Mostly technical stuff with some interesting moments of life

A Small Contribution: Substitution in The World of Lambda

No comments
Feeling a humble joy for being able to make a small contribution to a great resource: Semantics Engineering with PLT Redex, errata on substitution

Thank you Professor Matthias Felleisen for posting it and Professor Amr Sabry at Indiana University for the inspiring course on B522 - Foundations in Programming Languages, which made this possible.

No comments :

Post a Comment