Proceedings of the ... ACM SIGPLAN International Conference on Functional Programming

A-calculus abstract algebraic algorithm allocated amortized analysis applied argument atree binding bisimulation bound C₁ 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 environment evaluation example execution export expression extend Figure first-class 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 machine match memoization memory MExpr mixin mixin modules nodes operational semantics optimization parallel pattern performance pHluid placeholder pointer Programming Languages proof queue recursive reduction reference count representation result rule Scheme Section sequence simulation space stack Standard ML static substitution subtyping synchron syntax term Theorem threads tion transformation translation tree type inference type system