Automatically Splitting a Two-Stage Lambda Calculus

DOI10.1007/978-3-662-49498-1_11zbMath1335.68032OpenAlexW2489156759MaRDI QIDQ2802484

Umut A. Acar, Kayvon Fatahalian, Nicolas Feltman, Carlo Angiuli

Publication date: 26 April 2016

Published in: Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-662-49498-1_11

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Uses Software

• OpenGL
• Twelf
• Find
• MiniML

Cites Work

• Unnamed Item
• Automatic autoprojection of recursive equations with global variables and abstract data types
• MetaML and multi-stage programming with explicit annotations
• A modal analysis of staged computation
• Two-Level Functional Languages
• A partial evaluator for the untyped lambda-calculus
• Computer Science Logic
• Staged computation with names and necessity

This page was built for publication: Automatically Splitting a Two-Stage Lambda Calculus