Skip to main content
Princeton Mobile homeCourses home
Detail

Functional Programming

COS 326

1262
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. Probabilistic functional programming, algorithms, and applications.
Instructors tab content
Sections tab content

Section L01

  • Type: Lecture
  • Section: L01
  • Status: O
  • Enrollment: 0
  • Capacity: 80
  • Class Number: 20698
  • Schedule: MW 10:40 AM-11:30 AM

Section P01

  • Type: Precept
  • Section: P01
  • Status: O
  • Enrollment: 0
  • Capacity: 25
  • Class Number: 20701
  • Schedule: W 12:15 PM-01:05 PM

Section P02

  • Type: Precept
  • Section: P02
  • Status: O
  • Enrollment: 0
  • Capacity: 25
  • Class Number: 20699
  • Schedule: Th 09:35 AM-10:25 AM

Section P03

  • Type: Precept
  • Section: P03
  • Status: O
  • Enrollment: 0
  • Capacity: 29
  • Class Number: 20700
  • Schedule: Th 10:40 AM-11:30 AM