Lazy computation with exact real numbers

From MaRDI portal

Revision as of 23:53, 8 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:5348895

Jump to:navigation, search

DOI10.1145/289423.289441zbMath1370.68194OpenAlexW2035664314MaRDI QIDQ5348895

Philipp Sünderhauf, Peter John Potts, Abbas Edalat

Publication date: 21 August 2017

Published in: Proceedings of the third ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/289423.289441

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (4)

Semantics of a sequential language for exact real-number computation ⋮ Arbitrary precision real arithmetic: design and algorithms ⋮ Integration in Real PCF ⋮ Admissible digit sets

This page was built for publication: Lazy computation with exact real numbers

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:5348895&oldid=20049353"