Principles/techniques for creating correct, robust, modular programs. Computing with symbolic data, recursion/induction, functional programming, impact of evaluation strategies, parallelism. Organizing data/computations around types. Search-based programming, concurrency, modularity. prereq: [1913 or 1933], 2011
View on University Catalog
All Instructors
This total also includes data from semesters with unknown instructors.
F. Favonia
3 terms from Fall 2019 to Spring 2023
Spring 2023
Spring 2021
Fall 2019
Nick Hopper
5 terms from Fall 2017 to Spring 2022
Spring 2022
Summer 2021
Fall 2020
Spring 2019
Fall 2017
James Moen
5 terms from Fall 2019 to Spring 2024
Spring 2024
Fall 2022
Fall 2021
Sebastiaan Joosten
2 terms from Spring 2023 to Fall 2023
Fall 2023
Christopher Kauffman
Fall 2018
Eric Van Wyk
7 terms from Spring 2018 to Spring 2024
Spring 2018
Gopalan Nadathur
2 terms from Fall 2017 to Spring 2020
Spring 2020
Gopher Grades is maintained by Social Coding with data from Summer 2017 to Spring 2024 provided by the Office of Institutional Data and Research