Skip to Main content Skip to Navigation
Conference papers

Relating Idioms, Arrows and Monads from Monoidal Adjunctions

Exequiel Rivas 1 
1 PI.R2 - Design, study and implementation of languages for proofs and programs
UPD7 - Université Paris Diderot - Paris 7, CNRS - Centre National de la Recherche Scientifique, IRIF (UMR_8243) - Institut de Recherche en Informatique Fondamentale, Inria de Paris
Document type :
Conference papers
Complete list of metadata
Contributor : Exequiel Rivas Gadda Connect in order to contact the contributor
Submitted on : Thursday, December 6, 2018 - 2:55:34 PM
Last modification on : Wednesday, June 8, 2022 - 12:50:04 PM


  • HAL Id : hal-01946996, version 1


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⟩



Record views