scientific article
From MaRDI portal
Publication:2753682
zbMath0973.68041MaRDI QIDQ2753682
No author found.
Publication date: 11 November 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
interactionrefinementfunctional programmingdependent typesreactive programmingmonadic I/Orepetition constructs
Functional programming and lambda calculus (68N18) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (14)
Continuity of Gödel's system T definable functionals via effectful forcing ⋮ Let’s See How Things Unfold: Reconciling the Infinite with the Intensional (Extended Abstract) ⋮ The coinductive resumption monad ⋮ Data Types with Symmetries and Polynomial Functors over Groupoids ⋮ Interactive programming in Agda – Objects and graphical user interfaces ⋮ No value restriction is needed for algebraic effects and handlers ⋮ How to Reason Coinductively Informally ⋮ Flag-based big-step semantics ⋮ Interfaces as functors, programs as coalgebras -- a final coalgebra theorem in intensional type theory ⋮ From Proposition to Program ⋮ Undecidability of equality for codata types ⋮ Dependent Types and Fibred Computational Effects ⋮ Coalgebras as Types Determined by Their Elimination Rules ⋮ Programming interfaces and basic topology
This page was built for publication:
