4190 search results - page 139 / 838 » Type Class Directives |
138
Voted
POPL
1995
ACM
15 years 7 months ago
1995
ACM
Traditional techniques for implementing polymorphism use a universal representation for objects of unknown type. Often, this forces a compiler to use universal representations eve...
122
Voted
ESOP
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Many algorithms use concrete data types with some additional invariants. The set of values satisfying the invariants is often a set of representatives for the equivalence...
251
click to vote
POPL
2009
ACM
16 years 4 months ago
2009
ACM
This paper presents a type-based solution to the long-standing problem of object initialization. Constructors, the conventional mechanism for object initialization, have semantics...
124
Voted
CSFW
2002
IEEE
15 years 8 months ago
2002
IEEE
We present the first type and effect system for proving authenticity properties of security protocols based on asymmetric cryptography. The most significant new features of our ...
180
Voted
POPL
1998
ACM
15 years 8 months ago
1998
ACM
Java is typically compiled into an intermediate language, JVML, that is interpreted by the Java Virtual Machine. Because mobile JVML code is not always trusted, a bytecode verifi...