263 search results - page 10 / 53 » An Extensible Type System for Component-Based Design |
124
Voted
PLDI
2005
ACM
15 years 8 months ago
2005
ACM
Today’s module systems do not effectively support information hiding in the presence of shared mutable objects, causing serious problems in the development and evolution of larg...
141
Voted
ICFP
2007
ACM
16 years 2 months ago
2007
ACM
There has been much work in recent years on extending ML with recursive modules. One of the most difficult problems in the development of such an extension is the double vision pr...
112
click to vote
WMCSA
2002
IEEE
15 years 7 months ago
2002
IEEE
Applications running on a mobile and wireless devices must be able to adapt gracefully to limited and fluctuating network resources. The variety of applications, platforms upon w...
121
Voted
OOPSLA
2004
Springer
15 years 8 months ago
2004
Springer
This paper describes a type system that is capable of expressing and enforcing immutability constraints. The specific constraint exis that the abstract state of the object to whi...
121
Voted
HASKELL
2008
ACM
15 years 3 months ago
2008
ACM
Eight years ago, functional dependencies, a concept from the theory of relational databases, were proposed as a mechanism for avoiding common problems with multiple parameter type...