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ω...

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 , . . . , ...

Michael Trott∗ Wolfram Research, Inc., 100 Trade Center Drive, Champaign Illinois 61820-7237 (Dated: March 18, 2005) Abstract This paper o ers a demonstration of the appearance and general document features of the Physical Review style sheet as adapted from the American Physical Society speci cations for journal submissions. Although the topics in this paper were written speci cally for Publico...