Textbooks:
- Robert Harper, Programming Languages: Theory and Practice
- Benjamin Pierce, TPL
Related
CSCI-740 :: Programming Language Theory :: Term 20131 :: Schedule
cs.rit.edu · · Page
syllabus to read Types and Programming Language by Pierce
COS 418 - S25 - Distributed Systems
cs.princeton.edu · · Page
Flow Matching and Diffusion Models
diffusion.csail.mit.edu · · Page
Diffusion and flow-based models have become the state of the art for generative AI across a wide range of data…
Theories of Deep Learning (STATS 385) by stats385
stats385.github.io · · Page
Software Verification - Fall 2014 - Chair of Software Engineering
se.inf.ethz.ch · · Page
with solutions
Computer Laboratory – Course pages 2013–14: Functional Programming: Implementation, Specification and Verification – Course materials
cl.cam.ac.uk · · Page