Zobrazeno 1 - 10
of 475
pro vyhledávání: '"P. Åhman"'
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
Publikováno v:
Rangifer, Vol 44, Iss 8 (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/a600c0a7dd3d4701939ccd7ca59798e8
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:
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:
Rangifer, Vol 44, Iss 5 (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/3dcf4fb4f0e742a2a88999cd65d5a23d
Publikováno v:
Addictive Behaviors Reports, Vol 19, Iss , Pp 100553- (2024)
Introduction: Use of amphetamine-type stimulants (ATS) contributes substantially to the global burden of disease. Large-scale follow-up studies of morbidity and mortality in ATS users are few. This study analysed morbidity, mortality, and potential p
Externí odkaz:
https://doaj.org/article/62b9e94f3a594ccab21cad7b562ba472