Publications tagged "Haskell"
Automation CPS Certification Complexity Analysis Constraint Systems Cryptography EasyCrypt Expectation Transformers Functional Programming Graph Rewriting Hardness Haskell Higher-Order ICC ICCT Imperative Imperative Programming Interpretations Invariance Layout-Randomization Memoization OCaml Path Orders Predicative Recursion Probabilistic Program Analysis Quantum Runtime Complexity Analysis Security Sized-Types TCT Term Rewriting Termination Types
2013
-
B. Felgenhauer, M. Avanzini and C. Sternagel. “A Haskell Library for Term Rewriting”. 1st Workshop on Haskell and Rewriting Techniques (HART), (2013).