1 |
Introducing ⦇ λ ⦈, a λ-calculus for effectful computation
|
|
|
|
In: ISSN: 1879-2294 ; EISSN: 0304-3975 ; Theoretical Computer Science ; https://hal.inria.fr/hal-03200474 ; Theoretical Computer Science, Elsevier, 2021, 869, pp.108-155. ⟨10.1016/j.tcs.2021.02.038⟩ (2021)
|
|
BASE
|
|
Show details
|
|
2 |
La réception des Principes de la nature et de la grâce dans l’Encyclopédie méthodique. L’article “système des monades”
|
|
|
|
In: Lexicon Philosophicum: International Journal for the History of Texts and Ideas; Nr. 8 (2020): Lexicon Philosophicum ; Lexicon Philosophicum: International Journal for the History of Texts and Ideas; No. 8 (2020): Lexicon Philosophicum ; Lexicon Philosophicum: International Journal for the History of Texts and Ideas; Núm. 8 (2020): Lexicon Philosophicum ; Lexicon Philosophicum: International Journal for the History of Texts and Ideas; N. 8 (2020): Lexicon Philosophicum ; 2283-7833 (2021)
|
|
BASE
|
|
Show details
|
|
4 |
On the expressive power of indexed applicative and monadic structures ; Sur le pouvoir expressif des structures applicatives et monadiques indexées
|
|
|
|
In: https://tel.archives-ouvertes.fr/tel-02735749 ; Analyse numérique [cs.NA]. Université Paul Sabatier - Toulouse III, 2019. Français. ⟨NNT : 2019TOU30118⟩ (2019)
|
|
BASE
|
|
Show details
|
|
5 |
Effects and handlers in natural language ; Les effects et les handlers dans le langage naturel
|
|
|
|
In: https://hal.inria.fr/tel-01417467 ; Computation and Language [cs.CL]. Université de Lorraine, 2016. English. ⟨NNT : 2016LORR0322⟩ (2016)
|
|
BASE
|
|
Show details
|
|
6 |
Quelques ponts entre sémantique opérationnelle et modèles dénotationnels des langages de programmation
|
|
|
|
In: https://hal.archives-ouvertes.fr/tel-01400666 ; Logique en informatique [cs.LO]. Université Grenoble Alpes, 2016 (2016)
|
|
BASE
|
|
Show details
|
|
7 |
Cartesian effect categories are Freyd-categories
|
|
|
|
In: ISSN: 0747-7171 ; EISSN: 1095-855X ; Journal of Symbolic Computation ; https://hal.archives-ouvertes.fr/hal-00369328 ; Journal of Symbolic Computation, Elsevier, 2011, 46 (3), pp.272-293. ⟨10.1016/j.jsc.2010.09.008⟩ (2011)
|
|
BASE
|
|
Show details
|
|
8 |
Deriving Compilers from Monadic Semantics
|
|
|
|
In: http://www-sal.cs.uiuc.edu/~harrison/pubs/research/compile-Monadic.ps.Z (1997)
|
|
BASE
|
|
Show details
|
|
9 |
Monads and Comonads in Intensional Semantics
|
|
|
|
In: DTIC AND NTIS (1993)
|
|
BASE
|
|
Show details
|
|
10 |
2013): The Sequential Semantics of Producer Effect Systems
|
|
|
|
In: http://www.cs.cornell.edu/~ross/publications/productors/productors-tate-popl13-tr.pdf
|
|
BASE
|
|
Show details
|
|
11 |
General
|
|
|
|
In: http://hal.inria.fr/docs/00/10/31/09/PDF/haskell01-kow.pdf
|
|
BASE
|
|
Show details
|
|
12 |
Perspectives
|
|
|
|
In: Symplectic Elements at Oxford ; Added by author
|
|
BASE
|
|
Show details
|
|
|
|