<<< Back to Main Page

A Note About CMSC 16100

Our Honors Intro Programming I course (CMSC 16100) is taught using Haskell and, not surprisingly, often feels like a course about functional programming concepts.


Previous Courses (Selected)

[sp17] CMSC 32001: Topics in PL: Program Synthesis (Chugh)

[sp17] CMSC 22300: Functional Programming (Chugh)

[sp17] CMSC 22100: Programming Languages (Shaw)

[fa16]: CMSC 22600: Compilers for Computer Languages (Reppy)

[fa16]: CMSC 16100: Honors Introduction to Computer Science I (Chugh, Kurtz)

[sp16] CMSC 32001: Topics in PL: Program Synthesis (Chugh)

[sp16] CMSC 22100: Programming Languages (Shaw)

[wi16] CMSC 32001: Topics in PL: High-Level Programming Models for GPUs (Reppy)

[wi16] CMSC 22300: Functional Programming (Chugh)

[fa15] CMSC 16100: Honors Introduction to Computer Science I (Chugh, Kurtz)

[sp15] CMSC 32001: Topics in PL: Types and Contracts (Chugh)

[sp15] CMSC 22620: Implementation of Computer Languages II (Reppy)

[sp15] CMSC 22311: Functional Systems in Haskell (Kurtz)

[wi15] CMSC 22300: Functional Programming (Chugh)

[wi15] CMSC 22610: Implementation of Computer Languages I (Reppy)

[fa14] CMSC 16100: Honors Introduction to Computer Science I (Chugh, Kurtz)

[sp14] CMSC 22100: Programming Languages (Shaw)

[fa13] CMSC 16100: Honors Introduction to Computer Science I (Kurtz)

[sp12] CMSC 22300: Functional Programming (MacQueen)

[fa11] CMSC 22100: Programming Languages (MacQueen)

[wi11] CMSC 33600: Type Systems for Programming Languages (MacQueen)

[fa10] CMSC 22100: Programming Languages (MacQueen)

[sp10] CMSC 22300: Functional Programming (MacQueen)

[fa09] CMSC 32001: Topics in PL: Interactive Theorem Proving in Coq (MacQueen)

[sp08] CMSC 32001: Topics in PL: Denotational Semantics and Domain Theory (MacQueen)

[wi08] CMSC 33600: Type Systems for Programming Languages (Acar, Ahmed)

[sp07] CMSC 32001: Topics in PL: Implementing Type and Module Systems (MacQueen)

[wi06] CMSC 32001: Topics in PL: Advanced Type Systems (Dreyer)

[sp06] CMSC 32001: Topics in PL: Interactive Theorem Proving (MacQueen, Findler)

[wi03] CMSC 33600: Type Systems for Programming Languages (MacQueen)


>>> Chicago CS Course Archive