Login / Signup

Operational Properties of Lily, a Polymorphic Linear Lambda Calculus with Recursion.

Gavin M. BiermanAndrew M. PittsClaudio V. Russo
Published in: Electron. Notes Theor. Comput. Sci. (2000)
Keyphrases
  • lambda calculus
  • complex objects
  • general purpose
  • higher order
  • open source
  • knowledge base
  • pairwise
  • programming language
  • software development