Login / Signup

An Algorithm for Optimal Lambda Calculus Reduction.

John Lamping
Published in: POPL (1990)
Keyphrases
  • query processing
  • optimal solution
  • knowledge base
  • high level
  • knn
  • object oriented
  • efficient computation