4212 search results - page 287 / 843 » Rights Expression Languages |
152
click to vote
ECOOP
1998
Springer
15 years 11 months ago
1998
Springer
Parametric types and virtual types have recently been proposed as extensions to Java to support genericity. In this paper we investigate the strengths and weaknesses of each. We su...
163
click to vote
FSTTCS
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. Synchronous languages are well suited for the design of dependable real-time systems: they enable a very high-level specification and an extremely modular implementation ...
167
click to vote
ICFP
1997
ACM
15 years 10 months ago
1997
ACM
We present a type system for the programming language Erlang. The type system supports subtyping and declarationfree recursive types, using subtyping constraints. Our system is si...
201
Voted
ESOP
1994
Springer
15 years 10 months ago
1994
Springer
Functional language compilers implement only weak-head reduction. However, there are cases where head normal forms or full normal forms are needed. Here, we study how to use cps c...
175
click to vote
ESOP
1992
Springer
15 years 10 months ago
1992
Springer
Dynamic typing is a program analysis targeted at removing runtime tagging and untagging operations from programs written in dynamically typed languages. This paper compares dynami...