2335 search results - page 195 / 467 » Type Checking Type Classes |
113
click to vote
TOOLS
2008
IEEE
15 years 9 months ago
2008
IEEE
Object composition is often advocated as a more flexible alternative to standard class inheritance since it takes place at run-time, thus permitting to specialize the behavior of ...
105
click to vote
CSFW
2006
IEEE
15 years 9 months ago
2006
IEEE
The problem of information flow in multithreaded programs remains an important open challenge. Existing approaches to specifying and enforcing information-flow security often su...
106
Voted
APLAS
2005
ACM
15 years 8 months ago
2005
ACM
Abstract. Polymorphic recursion is a useful extension of HindleyMilner typing and has been incorporated in the functional programming language Haskell. It allows the expression of ...
107
Voted
ARGMAS
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Communication between agents needs to be flexible enough to encompass together a variety of different aspects such as, conformance to society protocols, private tactics ...
123
click to vote
PADL
2004
Springer
15 years 8 months ago
2004
Springer
We describe the design and implementation of a program generator that can produce extensions of Fortran that are specialized to support the programming of particular applications. ...