10575 search results - page 278 / 2115 » Programming Languages |
210
Voted
ERLANG
2009
ACM
15 years 11 months ago
2009
ACM
156
click to vote
ESOP
1999
Springer
15 years 10 months ago
1999
Springer
Expressions in the programming language C have such an under-specified semantics that one might expect them to be non-deterministic. However, with the help of a mechanised formali...
129
Voted
POPL
1989
ACM
15 years 10 months ago
1989
ACM
This paper presents an overview of the programming language Modula-3, and a more detailed description of its type system.
151
click to vote
SAC
2006
ACM
16 years 12 days ago
2006
ACM
We propose union types for statically typed class-based objectoriented languages as a means to enhance the flexibility of subtyping. As its name suggests, a union type can be con...