Zobrazeno 1 - 10
of 20
pro vyhledávání: '"Matache, Cristina"'
Notions of computation can be modelled by monads. Algebraic effects offer a characterization of monads in terms of algebraic operations and equational axioms, where operations are basic programming features, such as reading or updating the state, and
Externí odkaz:
http://arxiv.org/abs/2402.03103
Computational effects are commonly modelled by monads, but often a monad can be presented by an algebraic theory of operations and equations. This talk is about monads and algebraic theories for languages for inference, and their connections to semir
Externí odkaz:
http://arxiv.org/abs/2312.16694
We study concrete sheaf models for a call-by-value higher-order language with recursion. Our family of sheaf models is a generalization of many examples from the literature, such as models for probabilistic and differentiable programming, and fully a
Externí odkaz:
http://arxiv.org/abs/2205.15917
We present a fully abstract model of a call-by-value language with higher-order functions, recursion and natural numbers, as an exponential ideal in a topos. Our model is inspired by the fully abstract models of O'Hearn, Riecke and Sandholm, and Marz
Externí odkaz:
http://arxiv.org/abs/2105.02156
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Matache, Cristina
This dissertation is concerned with the study of program equivalence and algebraic effects as they arise in the theory of programming languages. Algebraic effects represent impure behaviour in a functional programming language, such as input and outp
Externí odkaz:
http://arxiv.org/abs/1902.04645
Autor:
Matache, Cristina-Camelia1,2 camelia.matache@ibna.ro, Panaite, Tatiana Dumitra1, Cornescu, Gabriela Maria1, Drăgotoiu, Dumitru2
Publikováno v:
Scientific Papers: Animal Science & Biotechnologies / Lucrari Stiintifice: Zootehnie si Biotehnologii. 2024, Vol. 57 Issue 1, p184-194. 11p.
Autor:
Matache, Cristina-Camelia1 (AUTHOR) secretariat@ibna.ro, Panaite, Tatiana Dumitra1 (AUTHOR) tatiana.panaite@ibna.ro, Cornescu, Gabriela Maria1 (AUTHOR), Rusu, Mara-Ioana Munțiu-1 (AUTHOR), Bunduc, Vasile2 (AUTHOR) office@avicolalumina.ro
Publikováno v:
Archiva Zootechnica. Jun2023, Vol. 26 Issue 1, p141-156. 16p.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Cornescu, Gabriela Maria, Panaite, Tatiana Dumitra, Soica, Cristina, Cismileanu, Ana, Matache, Cristina Camelia
Publikováno v:
Applied Sciences (2076-3417); Dec2023, Vol. 13 Issue 23, p12748, 15p