Fletta eftir titli

Röðun: Raða: Niðurstöður:

  • Icon
    Flexibly graded monads and graded algebras 
    McDermott, Dylan; Uustalu, Tarmo (Springer, 2022-09-22)
    When modelling side-effects using a monad, we need to equip the monad with effectful operations. This can be done by noting that each algebra of the monad carries interpretations of the desired operations. We consider the analogous situation for graded ...
  • Icon
    Project Creativity: Using Active Imagination for Project Innovation 
    Jonasson, Haukur Ingi; Ingason, Helgi (University of Technology, Sydney, 2018-06-08)
    Project management is essentially about solving problems and getting things done. The ability to imagine is a crucial ability when it comes to finding solutions and actualizing them. This paper looks at how creativity can, on an individual, team and ...
  • Icon
    A type system with subtyping for WebAssembly’s stack polymorphism 
    McDermott, Dylan; Morita, Yasuaki; Uustalu, Tarmo (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 ...