An undergraduate-level introduction to programming language concepts: primarily using Agda, combining material from Wadler et al.'s PLFA and Pierce's SF.
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool