THEORETICAL PEARLS

DOI10.1017/S0956796802004483MaRDI QIDQ4461771zbMATH OpenOpenAlexFDO

Authors Chris Okasaki

Publication date 18 May 2004

Published in Journal of Functional Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s0956796802004483

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Recommendations

• The systematic construction of a one-combinator basis for lambda-terms
• A set of combinators for abstraction in linear space
• Compact bracket abstraction in combinatory logic
• Combinators for parsing expressions
• Theorem Proving in Higher Order Logics

Cited in

(3)

• scientific article; zbMATH DE number 7215287 (Why is no real title available?)
• Typed quote/antiquote or: compile-time parsing
• On repetitive right application of \(B\)-terms

This page was built for publication: THEORETICAL PEARLS

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4461771)