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

https://hal.inria.fr/hal-01946996
Contributor : Exequiel Rivas Gadda <>
Submitted on : Thursday, December 6, 2018 - 2:55:34 PM
Last modification on : Friday, April 10, 2020 - 5:29:30 PM

Identifiers

  • HAL Id : hal-01946996, version 1

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

194