M

mof_categories

Seminar paper on "Category Theory for Haskell and C++ Programmers" for the fall semester seminar on program analysis and transformation.