Proceedings of the ACM Twentieth Annual Southeast Regional Conference

A-calculus abstract algebraic algorithm allocated amortized analysis applied argument atree binding bisimulation bound cache calculus call-by-value closure compiler Computer Science Cons constraint set construct constructors context cost data structures data type datatype defined definition denotes dequeue e₁ efficient empty evaluation example execution export expression extend Figure first-class environment free variables func functional language Functional Programming functor Galois connection garbage collection graph heap higher-order hylomorphism identifiers implementation induction labels lambda lambda calculus lazy lazy evaluation letref Lisp machine match memoization memory MExpr mixin mixin modules nodes operational semantics optimization parallel pattern performed pHluid placeholder pointer Programming Languages proof recursive reduction reference count representation result rule run-time Scheme Section sequence simulation space stack Standard ML static substitution subtyping synchron syntax term Theorem threads tion transformation translation tree type inference type system V₁