Functional PearlDeduction for functional programmers

DOI10.1017/S0956796800001726zbMath0856.68049OpenAlexW2087475091WikidataQ114116630 ScholiaQ114116630MaRDI QIDQ4895558

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

functional programmingformal logic

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item

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