20-CS-4003-001 Organization of Programming Languages Fall 2017
Haskell Review

Lambda calculus, Type theory, Formal semantics, Program analysis


    lec0.hs  -  foldr and foldl
    lec1.hs  -  findmax variations with list and Maybe Monads, mergesort
    topo.hs  -  topological sort - 15 brownies if you can modify the code to detect cycles and fail gracefully, showing the cycle - send to franco@gauss.ececs.uc.edu