2740 search results - page 22 / 548 » Typing the Specialization Interface |
CASSIS
2004
Springer
14 years 3 months ago
2004
Springer
A Java Card applet is, in general, not allowed to access fields and methods of other applets on the same smart card. This applet isolation property is enforced by dynamic checks i...
SOFSEM
1998
Springer
14 years 2 months ago
1998
Springer
In our paper we discuss an approach to semiautomatic corpus processing aimed at analysing verb valencies in Czech and consecutive determining the type of TIL (Transparent Intension...
CIE
2010
Springer
14 years 2 months ago
2010
Springer
A useful theorem of Kuˇcera states that given a Martin-L¨of random infinite binary sequence ω and an effectively open set A of measure less than 1, some tail of ω is not in A...
CORR
2007
Springer
13 years 9 months ago
2007
Springer
Analytic execution architectures have been proposed by the same authors as a means to conceptualize the cooperation between heterogeneous collectives of components such as program...
ICFP
1999
ACM
14 years 2 months ago
1999
ACM
We propose a conservative extension of the polymorphic lambda calculus (A5B ) as an intermediate language for compiling languages with name-based class and interface hierarchies. ...