3273 search results - page 27 / 655 » types 2007 |
DAGSTUHL
1993
15 years 3 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,...
97
Voted
CSC
2006
15 years 3 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...
100
click to vote
FORTE
1989
15 years 3 months 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...
112
Voted
JLP
2007
15 years 1 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...
106
click to vote
TYPES
2007
Springer
15 years 8 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 ...