Gabriel Matute
Description: EECS 490
university of michigan computer science (8) eecs490 (1) eecs 490 (1)
Programming languages are rich mathematical structures and powerful user interfaces. This course covers the design and use of modern programming languages. We will build up systematically from formal first principles while considering human factors in language design, language prototyping, and techniques for reasoning precisely about program behavior throughout the course.
The goal is to change the way you think about programming and programming language design in ways that will remain relevant across the many technology hype cycles that you will encounter over the course of your careers.
We're excited to start this semester with you!
Gabriel Matute