Showing posts with label lambda calculus. Show all posts
Showing posts with label lambda calculus. Show all posts
A Small Contribution: Substitution in The World of Lambda
Saliya Ekanayake
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.
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.
9:37 PM
indiana university
,
lambda calculus
Subscribe to:
Posts
(
Atom
)
