Edit

Prior Art

Papers

  • An Applicative Control-Flow Graph Based on Huet’s Zipper [pdf]
    Norman Ramsey and Joao Dias
  • Inductive Graphs and Functional Graph Algorithms [pdf]
    Martin Erwig
  • Leftist Trees [pdf]
    Sartaj Sahni
  • 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

API

← Core ConceptsRecipes: Index →