Functional Programming
COS 326
1222
1222
Info tab content
An introduction to the principles of typed functional programming. Programming recursive functions over structured data types and informal reasoning by induction about the correctness of those functions. Functional algorithms and data structures. Principles of modular programming, type abstraction, representation invariants and representation independence. Parallel functional programming, algorithms and applications.
Instructors tab content
Sections tab content
Section L01
- Type: Lecture
- Section: L01
- Status: O
- Enrollment: 52
- Capacity: 81
- Class Number: 22000
- Schedule: MW 11:00 AM-12:20 PM - McCosh Hall 46
Section P01
- Type: Precept
- Section: P01
- Status: O
- Enrollment: 15
- Capacity: 25
- Class Number: 22700
- Schedule: Th 10:00 AM-10:50 AM - Friend Center 112
Section P02
- Type: Precept
- Section: P02
- Status: O
- Enrollment: 20
- Capacity: 25
- Class Number: 22001
- Schedule: Th 12:30 PM-01:20 PM - Friend Center 108
Section P03
- Type: Precept
- Section: P03
- Status: C
- Enrollment: 0
- Capacity: 0
- Class Number: 22002
- Schedule: Th 07:30 PM-08:20 PM
Section P04
- Type: Precept
- Section: P04
- Status: C
- Enrollment: 0
- Capacity: 0
- Class Number: 22003
- Schedule: F 10:00 AM-10:50 AM
Section P05
- Type: Precept
- Section: P05
- Status: O
- Enrollment: 17
- Capacity: 25
- Class Number: 22004
- Schedule: F 11:00 AM-11:50 AM - McCosh Hall 62
Section P06
- Type: Precept
- Section: P06
- Status: C
- Enrollment: 0
- Capacity: 0
- Class Number: 22005
- Schedule: F 11:00 AM-11:50 AM