Functional PearlDeduction for functional programmers

DOI10.1017/S0956796800001726MaRDI QIDQ4895558zbMATH OpenOpenAlexWikidataFDO

Authors James J. Leifer, B. A. Sufrin

Publication date 17 February 1997

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

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

zbMATH Keywords

formal logicfunctional programming

Mathematics Subject Classification ID

Logic in computer science (03B70) Theory of software (68N99)

Recommendations

• Functional pearl: a smart view on datatypes
• Theorem Proving in Higher Order Logics
• Functional pearl: the distributive \(\lambda\)-calculus
• Using circular programs for higher-order syntax (functional pearl)
• scientific article; zbMATH DE number 3876558
• scientific article; zbMATH DE number 42965
• The Functional Approach to Programming
• Recursive subtyping revealed (functional pearl)

Cited in

(1)

• scientific article; zbMATH DE number 4049001 (Why is no real title available?)

This page was built for publication: Functional PearlDeduction for functional programmers

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