A Small Contribution: Substitution in The World of Lambda
Feeling a humble joy for being able to make a small contribution to a great resource: Semantics Engineering with PLT Redex, errata on substitutionThank 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.
Subscribe to:
Post Comments
(
Atom
)
No comments :
Post a Comment