It’s 3:30 a.m., and you have been dispatched to a report of a multifamily structure fire in your engine company’s first-due response area. Dispatch is reporting a fire has been called in on the fourth ...

The course assumes the background of 321 and will cover various type system material, including the polymorphic lambda calculus, Hindley-Milner type inference, dependent types, subtyping, and ...