Lecture 8: Polymorphism and System F In Lecture 7 we saw how the simply typed lambda calculus (STLC), and type systems in general, can be powerful tools for guaranteeing safety properties about ...

Consel, C. (1998) Architecturing Software Using a Methodology for Language Development. 10th International Symposium on Programming Language Implementation and Logic Programming, Lecture Notes in ...

This repository contains lecture notes and homework assignments from "Programming Fundamentals for Mechanical Engineers", a course designed by Aidan Hunt and taught at the University of Washington.