What's the deal with Deno? We talk with a major contributor to find out. Listen now.

As it turns out, the OP is interested in the specific case of the interval domain. Martín Escardó's PhD thesis "PCF extended with real numbers: a domain-theoretic approach to higher-order exact real number computation" extends the programming language PCF with a datatype of reals whose denotation is the interval domain.

Only top voted, non community-wiki answers of a minimum length are eligible