1828 search results - page 87 / 366 » First-Class Type Classes |
159
click to vote
ESOP
2007
Springer
16 years 7 days 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...
288
click to vote
POPL
2009
ACM
16 years 6 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...
162
click to vote
HASKELL
2006
ACM
16 years 1 days ago
2006
ACM
Modern functional languages offer several attractive features to support development of reliable and secure software. However, in our efforts to use Haskell for systems programmin...
155
click to vote
CSFW
2002
IEEE
15 years 11 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 ...
211
Voted
POPL
1998
ACM
15 years 10 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...