2233 search results - page 115 / 447 » Modular type classes |
124
click to vote
POPL
1995
ACM
15 years 6 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...
106
click to vote
ESOP
2007
Springer
15 years 8 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...
126
Voted
HASKELL
2006
ACM
15 years 8 months 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...
111
click to vote
CSFW
2002
IEEE
15 years 7 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 ...
168
click to vote
POPL
1998
ACM
15 years 6 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...