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: (CSci 1913 or CSci 1933) and CSci 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
7 terms from Fall 2019 to Spring 2025
Spring 2025
Fall 2024
Spring 2024
Fall 2022
Fall 2021
Sebastiaan Joosten
2 terms from Spring 2023 to Fall 2023
Fall 2023
Eric Van Wyk
8 terms from Spring 2018 to Fall 2024
Spring 2018
Christopher Kauffman
Fall 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 2025 provided by the University in response to a public records request
Not affiliated with the University of Minnesota