Zobrazeno 1 - 10
of 602
pro vyhledávání: '"Nowak, David"'
Autor:
Nowak, David, Rusu, Vlad
Publikováno v:
EPTCS 389, 2023, pp. 96-109
While loops are present in virtually all imperative programming languages. They are important both for practical reasons (performing a number of iterations not known in advance) and theoretical reasons (achieving Turing completeness). In this paper w
Externí odkaz:
http://arxiv.org/abs/2309.13802
Publikováno v:
In Journal of Logical and Algebraic Methods in Programming October 2024 141
Publikováno v:
In Environmental Science and Policy December 2024 162
Autor:
Kacprzak, Małgorzata J., Ellis, Alexis, Fijałkowski, Krzysztof, Kupich, Iwona, Gryszpanowicz, Piotr, Greenfield, Eric, Nowak, David
Publikováno v:
In Journal of Environmental Management August 2024 366
Publikováno v:
In Landscape and Urban Planning May 2024 245
Publikováno v:
In Urban Forestry & Urban Greening February 2024 92
Autor:
Affeldt, Reynald, Nowak, David
There is a recent interest for the verification of monadic programs using proof assistants. This line of research raises the question of the integration of monad transformers, a standard technique to combine monads. In this paper, we extend Monae, a
Externí odkaz:
http://arxiv.org/abs/2011.03463
Publikováno v:
Journal of Functional Programming, 31(E17), 2021
The algebraic properties of the combination of probabilistic choice and nondeterministic choice have long been a research topic in program semantics. This paper explains a formalization in the Coq proof assistant of a monad equipped with both choices
Externí odkaz:
http://arxiv.org/abs/2003.09993
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.
Publikováno v:
In Landscape and Urban Planning November 2023 239