Publications tagged "Haskell"
Automation CPS Certification Complexity Analysis Constraint Systems Functional Programming Graph Rewriting Haskell Higher-Order ICC ICCT Imperative Imperative Programming Interpretations Invariance Memoization OCaml Path Orders Predicative Recursion Probabilistic Program Analysis Runtime Complexity Analysis Sized-Types TCT Term Rewriting Termination Types
2013
-
B. Felgenhauer and M. Avanzini and C. Sternagel. “A Haskell Library for Term Rewriting”. Proceedings of the 1th Workshop on Haskell and Rewriting Techniques, 2013.