8021 search results - page 13 / 1605 » A Type System for Tom |
PAMI
2002
13 years 7 months ago
2002
IRMA
2000
13 years 9 months ago
2000
The tremendous growth in both Java and multimedia present an opportunity for cross-platform multimedia applications. However, little research has been done on Java multimedia perf...
SASO
2009
IEEE
14 years 2 months ago
2009
IEEE
Delegate MAS has been proposed and investigated as an integrated coordination technique for so-called self-organising coordination-and-control applications. Delegate MAS consist o...
ICFP
2004
ACM
14 years 7 months ago
2004
ACM
Useful type inference must be faster than normalization. Otherwise, you could check safety conditions by running the program. We analyze the relationship between bounds on normali...
LICS
2000
IEEE
14 years 10 hour ago
2000
IEEE
We introduce a new model based on coherence spaces for interpreting large impredicative type systems such as the Extended Calculus of Constructions (ECC). Moreover, we show that t...