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

This paper offers a demonstration of the appearance and general document features of the LaTeX_Article style sheet. Although the topics in this paper were written specifically for Publicon, it is hoped they will nonetheless be regarded with interest by the physics community. © 2004 Wolfram Research, Inc. 1 High-precision Value for the Quartic Anharmonic Oscillator Ground State

Abstract— Improving the competitiveness of a company amounts to control its workflow. The purpose of industries is to provide customer satisfaction and maximum production with a minimal cost, which requires the provision of a scientific model applied to production systems to control their behavior The contribution conducted by this work focuses on the problem of flow management, we propose an a...