Claus Reinke

• Functions, frames, and interactions - completing a l-calculus-based lambda-calculus-based purely functional language with respect to programming in the large and interactions with runtime environments