Skip to content

here you goThings I’ve made, read and saved — shared here.

Archive

9,565 entries: 46 from X, 8,923 from Pinboard, saved 1998 to 2026.

Browse by tag, site, author, folder or language

Tags and folders

2 entries#plt ×

2015

15-312 Foundations of Programming Languages

cs.cmu.edu2015-07-06

Textbooks:

Robert Harper, Programming Languages: Theory and Practice
Benjamin Pierce, TPL

cs.cmu.edu2015-07-06PinboardPermalink

#courseware #plt

2014

CSCI-740 :: Programming Language Theory :: Term 20131 :: Schedule

cs.rit.edu2014-04-16

syllabus to read Types and Programming Language by Pierce

cs.rit.edu2014-04-16PinboardPermalink

#courseware #plt #tapl #types