Functional Pearl. Weaving a Web[pdf] Ralf Hinze and Johan Jeuring
Notes on Graph Algorithms Used in Optimizing Compilers[pdf] Carl D. Offner
A graph model of data and workflow provenance[pdf] Umut Acar, Peter Buneman, James Cheney, Jan Van den Bussche, Natalia Kwasnikowska and Stijn Vansummeren
Backtracking, Interleaving, and Terminating Monad Transformers[pdf] Oleg Kiselyov, Chung-chieh Shan, Daniel P. Friedman and Amr Sabry
Typed Tagless Final Interpreters[pdf] Oleg Kiselyov