285 search results - page 32 / 57 » Game Semantics and Subtyping |
129
click to vote
SEMCO
2009
IEEE
15 years 10 months ago
2009
IEEE
—We present LAIR: A domain-specific language that enables users to specify actions to be taken upon meeting specific semantic frames in a text, in particular to rephrase and re...
232
Voted
ICFP
2009
ACM
16 years 3 months ago
2009
ACM
A number of important program rewriting scenarios can be recast as type-directed coercion insertion. These range from more theoretical applications such as coercive subtyping and ...
105
click to vote
ICFP
2005
ACM
16 years 3 months ago
2005
ACM
Current languages allow a programmer to describe an interface only by enumerating its parts, possibly including other interfaces wholesale. Such languages cannot express relations...
127
click to vote
ESOP
2009
Springer
15 years 10 months ago
2009
Springer
This paper explores the surprisingly rich design space for the simply typed lambda calculus with casts and a dynamic type. Such a calculus is the target intermediate language of th...
OOPSLA
2009
Springer
15 years 9 months ago
2009
Springer
Multiple inheritance has long been plagued with the “diamond” inheritance problem, leading to solutions that restrict expressiveness, such as mixins and traits. Instead, we ad...