Relating Idioms, Arrows and Monads from Monoidal Adjunctions

Exequiel Rivas 1
1 PI.R2 - Design, study and implementation of languages for proofs and programs
PPS - Preuves, Programmes et Systèmes, UPD7 - Université Paris Diderot - Paris 7, CNRS - Centre National de la Recherche Scientifique, Inria de Paris
Document type :
Conference papers
Liste complète des métadonnées

https://hal.inria.fr/hal-01946996
Contributor : Exequiel Rivas Gadda <>
Submitted on : Thursday, December 6, 2018 - 2:55:34 PM
Last modification on : Friday, January 4, 2019 - 5:33:38 PM

Identifiers

  • HAL Id : hal-01946996, version 1

Collections

Citation

Exequiel Rivas. Relating Idioms, Arrows and Monads from Monoidal Adjunctions. Seventh Workshop on Mathematically Structured Functional Programming- EPTCS, Jul 2018, Oxford, United Kingdom. pp.18-33. ⟨hal-01946996⟩

Share

Metrics

Record views

19