Applicative Lifting

MaRDI QIDQ40301swMATHFDO

Authors Andreas Lochbihler, Joshua Schneider

Publication date 22 December 2015

Official website https://www.isa-afp.org/entries/Applicative_Lifting.html

Cites work

• Applicative programming with effects
• Just do it

Cited in

(2)

• Equational Reasoning with Applicative Functors
• Meta Model Isabelle

This page was built for software: Applicative Lifting