Login / Signup

Principal Type-Schemes for Functional Programs.

Luís DamasRobin Milner
Published in: POPL (1982)
Keyphrases
  • functional programs
  • term rewriting systems
  • stochastic grammar
  • lazy evaluation
  • multi agent
  • data structure
  • logic programs
  • range queries