Sign in

Lambda the Ultimate SSA: Optimizing Functional Programs in SSA.

Siddharth BhatTobias Grosser
Published in: CGO (2022)
Keyphrases
  • functional programs
  • term rewriting systems
  • lazy evaluation
  • logic programs
  • stochastic grammar
  • general purpose
  • artificial intelligence
  • multi agent
  • software engineering
  • fixed point
  • inference rules