Efficient multi-variate abstraction using an array representation for combinators.

DOI10.1016/S0020-0190(02)00318-6zbMath1042.68536MaRDI QIDQ1853162

Antoni Diller

Publication date: 21 January 2003

Published in: Information Processing Letters (Search for Journal in Brave)

zbMATH Keywords

Functional programmingCombinatory logicCompilersBracket abstraction

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Cites Work

• Unnamed Item
• Unnamed Item
• Variable abstraction in O(n log n) space
• A new implementation technique for applicative languages

This page was built for publication: Efficient multi-variate abstraction using an array representation for combinators.