Meeting time

Fridays, 10:00–11:00.


Malone Hall 222.

Discussion Schedule

Date Paper Presenter
2018-10-12 Capturing the Future by Replaying the Past Functional Pearl [PDF] Dr. Scott Smith
2018-09-28 Build Systems à la Carte [PDF] Shiwei Weng
2018-09-21 Relational Algebra by Way of Adjunctions [PDF] P.C. Shyamshankar
2018-09-14 Refunctionalization of Abstract Abstract Machines (Functional Pearl) [PDF] Leandro Facchinetti
2018-09-07 A Schematic Pushdown Reachability Language Zachary Palmer
2018-08-31 Define schedule for semester Dr. Scott Smith