Zobrazeno 1 - 10
of 1 779
pro vyhledávání: '"Åhman, A."'
Autor:
Ahman, Danel, Bauer, Andrej
We develop and investigate a general theory of representations of second-order functionals, based on a notion of a right comodule for a monad on the category of containers. We show how the notion of comodule representability naturally subsumes classi
Externí odkaz:
http://arxiv.org/abs/2409.17664
Autor:
Ahman, Danel, Coraglia, Greta, Castelnovo, Davide, Loregian, Fosco, Martins-Ferreira, Nelson, Reimaa, Ülo
We study fibrations arising from indexed categories of the following form: fix two categories $\mathcal{A},\mathcal{X}$ and a functor $F : \mathcal{A} \times \mathcal{X} \longrightarrow\mathcal{X} $, so that to each $F_A=F(A,-)$ one can associate a c
Externí odkaz:
http://arxiv.org/abs/2408.16581
Autor:
Ahman, Danel, Pretnar, Matija
Publikováno v:
Logical Methods in Computer Science, Volume 20, Issue 3 (September 23, 2024) lmcs:11656
We explore asynchronous programming with algebraic effects. We complement their conventional synchronous treatment by showing how to naturally also accommodate asynchrony within them, namely, by decoupling the execution of operation calls into signal
Externí odkaz:
http://arxiv.org/abs/2307.13795
Autor:
Anna Skarin, Minna Turunen, Svein Morten Eilertsen, Heidi Rautiainen, Tim Horstkotte, Ole Nils Aslak Baal, Leif-Anders Blind, Ove Emanuelsson, Ove Hallergren, Anna-Marja Kaddik, Lars-Tomas Labba, Helén Larsson, Mikael Larsson, Tom Lifjell, Johan Lundgren, Karoliina Majuri, Janne Mustonen, Helge Oskal, Majken Paulsen, Laura Post, Sirpa Rasmus, Camilla Risvoll, Hans Tømmervik, Nils-Johan Utsi, Elisabeth Nejne Vannar, Birgitta Åhman
Publikováno v:
Rangifer, Vol 44, Iss 7 (2024)
This report is based on the results from a Nordic network project funded by The Nordic Joint Committee for Agricultural and Food Research (NKJ) during the years 2021-2022. This network was created to encourage further cross-border discussions about t
Externí odkaz:
https://doaj.org/article/8fb680f46dcc444cab2aefb358c0b9e1
Autor:
Ahman, Danel
Publikováno v:
In: Kupferman, O., Sobocinski, P. (eds) Foundations of Software Science and Computation Structures. FoSSaCS 2023. Lecture Notes in Computer Science, vol 13992. Springer, Cham (2023)
We explore type systems and programming abstractions for the safe use of resources. In particular, we investigate how to use types to modularly specify and check when programs are allowed to use their resources, e.g., when programming a robot arm on
Externí odkaz:
http://arxiv.org/abs/2210.07738
Publikováno v:
Rangifer, Vol 44, Iss 6 (2024)
This report is based on the book "Reindeer Husbandry and Global Environmental Change - pastoralism in Fennoscandia". The book, which was published in 2022, brings together previous and new research compiled within a Nordic collaboration project, ReiG
Externí odkaz:
https://doaj.org/article/f489d6d421c44acda13be2133121d0c4
Autor:
Morris, Fraser J.D., Åhman, Rasmus, Craswell, Alison, Didriksson, Helén, Jonsson, Carina, Gisselgård, Manda, Andersson, Henrik A., Fung, Yoke-Lin, Chew, Michelle S.
Publikováno v:
In British Journal of Anaesthesia December 2024 133(6):1183-1191
Publikováno v:
In Utilities Policy December 2024 91
Autor:
Swamy, Nikhil, Rastogi, Aseem, Fromherz, Aymeric, Merigoux, Denis, Ahman, Danel, Martínez, Guido
Much recent research has been devoted to modeling effects within type theory. Building on this work, we observe that effectful type theories can provide a foundation on which to build semantics for more complex programming constructs and program logi
Externí odkaz:
http://arxiv.org/abs/2111.15149
Publikováno v:
In Renewable and Sustainable Energy Reviews July 2024 199