645 search results - page 16 / 129 » Pure patterns type systems |
71
Voted
BC
2002
14 years 11 months ago
2002
Two types of pathological tremors, essential and Parkinsonian, are studied using dynamical systems theory. It is shown that pathological tremors can be characterized as diffusional...
106
click to vote
ENTCS
2002
14 years 11 months ago
2002
The last few years have seen the development of a new calculus which can be considered as an outcome of the last decade of various researches on (higher order) term rewriting syst...
ACTA
2005
14 years 11 months ago
2005
We propose a new type system for information flow analysis for the -calculus. As demonstrated by recent studies, information about whether each communication succeeds is important ...
CEAS
2006
Springer
15 years 3 months ago
2006
Springer
The existance of networks of `bots' raises the possibility of a new type of spam that breaks the current paradigm of spam defense, in which the defence acts purely as a filte...
104
click to vote
FUIN
2010
14 years 9 months ago
2010
Abstract. Writing dependently typed functional programs that capture non-trivial program properties, such as those involving membership, ordering and non-linear arithmetic, is diff...