Instructor: Ethan Cecchetti

About this presentation

Type systems, abstract interpretation, etc. Highly mathematical content. No programming. Chalkboard lectures. Notes (hopefully) online after class. What to ...