- Opin vísindi
- →
- Háskólinn í Reykjavík
- →
- Bókarkaflar - HR
- →
- Fletta eftir efnisorði
JavaScript is disabled for your browser. Some features of this site may not work without it.
Fletta eftir efnisorði "Merkingarfræði"
Atriði 1-2 af 2
-
(ACM, 2020-09-08)We discuss the relationship between monads and their known generalisation, graded monads, which are especially useful for modelling computational effects equipped with a form of sequential composition. Specifically, we ask if a graded monad can be ... -
(Springer, 2022-10-03)We propose a new type system for WebAssembly. It is a refinement of the type system from the language specification and is based on type qualifiers and subtyping. In the WebAssembly specification, a typable instruction sequence gets many different ...
Atriði 1-2 af 2