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 advanced functional programming concepts.
Previous Courses (Selected)
[fa19]: CMSC 16100: Honors Introduction to Computer Science I (Kurtz, Hempel)
[sp19] CMSC 32001: Topics in PL: Bidirectional Programming and Synthesis (Chugh)
[sp19] CMSC 22300: Functional Programming (Chugh)
[sp19] CMSC 22100: Programming Languages (Shaw)
[fa18] CMSC 32001: Topics in PL: Automated Metatheory (Reppy)
[fa18]: CMSC 16100: Honors Introduction to Computer Science I (Chugh, Kurtz)
[sp18] CMSC 32001: Topics in PL: Direct Manipulation Programming (Chugh)
[sp18] CMSC 22100: Programming Languages (Shaw)
[fa17] CMSC 32001: Topics in PL (Reppy)
[fa17]: CMSC 16100: Honors Introduction to Computer Science I (Chugh, Kurtz)
[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)