Lectures related to Compiler Extension Lab

Related lectures (32)

Covers parametric polymorphism, lists construction, tuples, generic methods, merge sort, and proving program properties.

Covers the basics of Coq, focusing on arithmetic expressions, evaluation, and proof techniques.