3273 search results - page 27 / 655 » types 2007 |
DAGSTUHL
1993
15 years 1 months ago
1993
In this paper we present a type system for graph rewrite systems: uniqueness typing. It employs usage information to deduce whether an object is `unique' at a certain moment,...
CSC
2006
15 years 1 months ago
2006
In this article, we study a class of biorthogonal sampling functions in the context of bandlimited wavelets, Meyer type wavelets. Originally raised in the construction of bandlimi...
FORTE
1989
15 years 29 days ago
1989
ion of LOTOS Abstract Data Types Hubert GARAVEL∗ Laboratoire de G´enie Informatique Institut I.M.A.G. GRENOBLE FRANCE This article describes an experiment with the compilation o...
JLP
2007
14 years 11 months ago
2007
We propose a type system to enforce the security property of noninterference in a core reactive language, obtained by extending the imperative language of Volpano, Smith and Irvin...
TYPES
2007
Springer
15 years 5 months ago
2007
Springer
This paper gives a characterisation, via intersection types, of the strongly normalising terms of an intuitionistic sequent calculus (where LJ easily embeds). The soundness of the ...