Login / Signup
Type-Based Complexity Analysis of Probabilistic Functional Programs.
Martin Avanzini
Ugo Dal Lago
Alexis Ghyselen
Published in:
LICS (2019)
Keyphrases
</>
complexity analysis
functional programs
term rewriting systems
theoretical analysis
lower bound
computational complexity
logic programs
lazy evaluation
first order logic
functional language
stochastic grammar