CS 463 Schedule, Spring 2019

Important Dates

  • Wednesday, January 23: first day of class
  • Wednesday, March 27: Midterm
  • Tuesday, May 7th: last day of class
  • Live Final Exams Schedule
    • Ours originally scheduled for Mon(a)day, May 13th, 1:30pm-4:15pm

Texts

Readings

Untyped Lambda Calculus

Defining Languages

  • CPL: chapters 1, 2(optional), 3

Haskell Introduction

  • install the Haskell Platform to get all the stuff installed you need.
  • videos:
  • LYAHFGG chapters:
    • 1,2: basics
    • 3: types, typeclasses
    • 4,5: functions, recursion
    • 6: higher-order functions
  • RWH chapters:
    • 1: getting started
    • 2: types, functions
    • 3: defuning types
    • 4: functional programming

Lisp

Simply Typed Lambda Calculus

Haskell, Again

  • LYAHFGG chapters:
    • 7: working with modules (other files of code)
    • 8: ADTs and type classes (dependent on Chapter 3)
    • 9: I/O
  • Real World Haskell chapters:

Monads

Concurrency

  • CPL (our recommended text), chapter 13
  • RWH, chapter 24

Subprograms

  • CPL, chapters 9, 10, 14

Ruby