Equational Reasoning with Applicative Functors
From MaRDI portal
Publication:2829262
Recommendations
- Equational reasoning in Isabelle
- scientific article; zbMATH DE number 1670742
- Equational type logic
- scientific article; zbMATH DE number 1552533
- Equational systems of functors
- scientific article; zbMATH DE number 139986
- Equational theories for inductive types
- Equational presentations of functors and monads
- Equational coalgebraic logic
- Equational semantics
Cites work
- scientific article; zbMATH DE number 3071073 (Why is no real title available?)
- A higher-order implementation of rewriting
- A verified compiler for probability density functions
- Applicative programming with effects
- Applying data refinement for monadic programs to Hopcroft's algorithm
- Equational Reasoning with Applicative Functors
- Imperative Functional Programming with Isabelle/HOL
- Just do it
- Lambda terms definable as combinators
- Lifting and Transfer: A Modular Design for Quotients in Isabelle/HOL
- More Church-Rosser proofs (in Isabelle/HOL)
- Nonfree datatypes in Isabelle/HOL. Animating a many-sorted metatheory
- Probabilistic functions and cryptographic oracles in higher order logic
- The Bird Tree
- The HOL-Omega Logic
Cited in
(10)- Just do it
- APLicative Programming with Naperian Functors
- Effect polymorphism in higher-order logic (proof pearl)
- Variadic equational matching in associative and commutative theories
- Equational Reasoning with Applicative Functors
- scientific article; zbMATH DE number 7523908 (Why is no real title available?)
- Effect polymorphism in higher-order logic (proof pearl)
- scientific article; zbMATH DE number 7471712 (Why is no real title available?)
- scientific article; zbMATH DE number 1670742 (Why is no real title available?)
- Quotients of Bounded Natural Functors
Describes a project that uses
Uses Software
This page was built for publication: Equational Reasoning with Applicative Functors
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2829262)