Login / Signup

Higher-Order Strictness Analysis in Untyped Lambda Calculus.

Paul HudakJonathan Young
Published in: POPL (1986)
Keyphrases
  • lambda calculus
  • higher order
  • data structure
  • software engineering
  • programming language
  • predicate calculus