Pages that link to "Item:Q2829262"
From MaRDI portal
The following pages link to Equational Reasoning with Applicative Functors (Q2829262):
Displaying 10 items.
- Variadic equational matching in associative and commutative theories (Q2029000) (← links)
- (Q2754042) (← links)
- Equational Reasoning with Applicative Functors (Q2829262) (← links)
- APLicative Programming with Naperian Functors (Q2988659) (← links)
- (Q5028480) (← links)
- Quotients of Bounded Natural Functors (Q5048992) (← links)
- (Q5074667) (← links)
- Just do it (Q5176957) (← links)
- Effect polymorphism in higher-order logic (proof pearl) (Q5915785) (← links)
- Effect polymorphism in higher-order logic (proof pearl) (Q5919584) (← links)