Login / Signup

Type-Based Complexity Analysis of Probabilistic Functional Programs.

Martin AvanziniUgo Dal LagoAlexis 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