Just do it
From MaRDI portal
Publication:5176957
DOI10.1145/2034773.2034777zbMath1323.68207OpenAlexW4235410435MaRDI QIDQ5176957
Publication date: 5 March 2015
Published in: Proceedings of the 16th ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/2034773.2034777
Functional programming and lambda calculus (68N18) Abstract data types; algebraic specification (68Q65) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (15)
New ⋮ Typed Linear Algebra for Weigthed (Probabilistic) Automata ⋮ Notions of Bidirectional Computation and Entangled State Monads ⋮ Towards a practical library for monadic equational reasoning in Coq ⋮ How to prove decidability of equational theories with second-order computation analyser SOL ⋮ Towards a linear algebra of programming ⋮ An algebraic theory for shared-state concurrency ⋮ Local algebraic effect theories ⋮ Unnamed Item ⋮ A trustful monad for axiomatic reasoning with probability and nondeterminism ⋮ Effect polymorphism in higher-order logic (proof pearl) ⋮ Effect polymorphism in higher-order logic (proof pearl) ⋮ Declarative pearl: deriving monadic quicksort ⋮ Equational Reasoning with Applicative Functors ⋮ Not by equations alone: Reasoning with extensible effects
Uses Software
This page was built for publication: Just do it
