A Metalanguage for Programming with Bound Names Modulo Renaming.

Andrew M. Pitts Murdoch Gabbay

Published in: MPC (2000)

Keyphrases

upper bound
lower bound
programming language
error bounds
worst case
object oriented programming
special case
knowledge base
decision trees
keywords
general purpose
named entities
development environment
programming course
programming concepts
programming education