So this small package arrives at my office, addressed to “Anniken Goldstein.” Two Goldsteins work in my office, my Bride/Empress and myself, so she took the liberty of opening it up, and extracting a Darth Vader head coffee cup from a carefully bundled straw package. There was no accompanying note; the return address indicated that none was needed. Everyone from my receptionist to my office man...

Style transfer of an image has been receiving attention from the scientific community since its inception in 2015. This topic is characterized by accelerated process innovation; it defined techniques that blend content and style, first covering only textural details, subsequently incorporating compositional features. The results such had a significant impact on our understanding inner workings ...

Type theories with higher-order subtyping or singleton types are examples of systems where computation rules for variables are affected by type information in the context. A complication for these systems is that bounds declared in the context do not interact well with the logical relation proof of completeness or termination. This paper proposes a natural modification to the type syntax for Fω...

This study aims to determine the effect of dividend policy and profitability on stock returns in Consumer Goods industry company simultaneously partially. method uses quantitative methods, analytical technique used is descriptive statistics, while hypothesis testing multiple linear regression analysis. The determination sample was carried out using purposive sampling for 2016-2020 period. resul...

The CPS transformation makes all functions continuation-passing, uniformly. Not all functions, however, need continuations: they only do if their evaluation includes computational effects. In this paper we focus on control operations, in particular “call with current continuation” and “throw”. We characterize this involvement as a control effect and we present a selective CPS transformation tha...

Many program optimisations involve transforming a program in direct style to an equivalent program in continuation-passing style. This paper investigates the theoretical underpinnings of this transformation in the categorical setting of monads. We argue that so-called absolute Kan Extensions underlie this program optimisation. It is known that every Kan extension gives rise to a monad, the code...

In this article we work with the degenerate affine Hecke algebra Hl corresponding to the general linear group GLl over a local non-Archimedean field. This algebra was introduced by V.Drinfeld in [D], see also [L]. The complex associative algebra Hl is generated by the symmetric group algebra CSl and by the pairwise commuting elements x1 , . . . , xl with the cross relations for p = 1 , . . . , ...