#plt
2 links.
Links Open in the Archive
15-312 Foundations of Programming Languages
Textbooks: Robert Harper, Programming Languages: Theory and Practice Benjamin Pierce, TPL
CSCI-740 :: Programming Language Theory :: Term 20131 :: Schedule
syllabus to read Types and Programming Language by Pierce