Applicative programming with effects
From MaRDI portal
Publication:5437031
DOI10.1017/S0956796807006326zbMath1128.68020MaRDI QIDQ5437031
Publication date: 18 January 2008
Published in: Journal of Functional Programming (Search for Journal in Brave)
Related Items
Introducing \(\llparenthesis\lambda\rrparenthesis\), a \(\lambda \)-calculus for effectful computation ⋮ A unified treatment of syntax with binders ⋮ Probabilistic Programming Language and its Incremental Evaluation ⋮ Polynomial Functors Constrained by Regular Expressions ⋮ Constructing language processors with algebra combinators ⋮ Unnamed Item ⋮ A correct-by-construction conversion from lambda calculus to combinatory logic ⋮ Lewis meets Brouwer: constructive strict implication ⋮ A higher-order language for Markov kernels and linear operators ⋮ Doo bee doo bee doo ⋮ Build systems à la carte: Theory and practice ⋮ Differential 2-rigs ⋮ On Jacobson’s “Towards a Variable-Free Semantics” ⋮ A model of guarded recursion via generalised equilogical spaces ⋮ A representation theorem for second-order functionals ⋮ Understanding beginners' mistakes with Haskell ⋮ The Guarded Lambda-Calculus: Programming and Reasoning with Guarded Recursion for Coinductive Types ⋮ The Cooper storage idiom ⋮ Unnamed Item ⋮ Unnamed Item ⋮ A model of guarded recursion with clock synchronisation ⋮ A model of PCF in guarded type theory ⋮ Denotational semantics of recursive types in synthetic guarded domain theory ⋮ Notions of computation as monoids ⋮ 1ML – Core and modules united ⋮ APLicative Programming with Naperian Functors ⋮ Denotational semantics for guarded dependent type theory ⋮ A pattern for almost compositional functions ⋮ Temporal refinements for guarded recursive types ⋮ Concrete stream calculus: An extended study ⋮ What is a Categorical Model of Arrows? ⋮ Idioms are Oblivious, Arrows are Meticulous, Monads are Promiscuous ⋮ Causal commutative arrows ⋮ A denotational semantics of textually aligned SPMD programs ⋮ The arrow calculus ⋮ Combinator Parsing: A Short Tutorial ⋮ A computer-verified monadic functional implementation of the integral ⋮ The worker/wrapper transformation ⋮ Scala for generic programmers ⋮ Implementing, and keeping in check, a DSL used in E-learning ⋮ Unnamed Item ⋮ Guarded Dependent Type Theory with Coinductive Types ⋮ Composable Discovery Engines for Interactive Theorem Proving ⋮ The Arrow Calculus as a Quantum Programming Language ⋮ The essence of the <scp>Iterator</scp> pattern ⋮ Equational Reasoning with Applicative Functors ⋮ The Bird Tree ⋮ Guarded cubical type theory ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Constructive Modalities with Provability Smack ⋮ A type- and scope-safe universe of syntaxes with binding: their semantics and proofs ⋮ Extensional equality preservation and verified generic programming
Uses Software
Cites Work
