972 search results - page 16 / 195 » Intersection types and computational effects |
SIGSOFT
2005
ACM
14 years 8 months ago
2005
ACM
Previous work has proven typestates to be useful for modeling protocols in object-oriented languages. We build on this work by addressing substitutability of subtypes as well as i...
APLAS
2001
ACM
13 years 11 months ago
2001
ACM
Abstract. We propose a semantic and syntactic framework for modelling linearly used effects, by giving the monadic transforms of the computational lambda calculus (considered as th...
CONCUR
2001
Springer
14 years 3 days ago
2001
Springer
The issue of this work is how to type mobility, in the sense that we tackle the problem of typing not only mobile agents but also their movement. This yields higher-order types for...
CONCUR
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. We present a reconstruction of session types in a conventional pi calculus where types are qualified as linear or unrestricted. Linearly typed communication channels are ...
ICCTA
2007
IEEE
2007
IEEE
Digital Signal Types Identification Using a Hierarchical SVM-Based Classifier and Efficient Features
13 years 7 months ago
Automatic digital signal type identification (ADSTI) is an important topic for both military and civilian communication applications. Most of proposed techniques (identifiers) can...