45 search results - page 8 / 9 » A Logic for Parametric Polymorphism with Effects |
PLDI
2005
ACM
13 years 11 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...
TCOM
2010
13 years 11 days ago
2010
This paper presents a mathematical framework for the evaluation of the performance of proactive and reactive routing protocols in mobile ad hoc networks (MANETs). This unified fram...
PPDP
2007
Springer
13 years 11 months ago
2007
Springer
We give a denotational semantics to a region-based effect system tracking reading, writing and allocation in a higher-order language with dynamically allocated integer references....
OOPSLA
2005
Springer
13 years 11 months ago
2005
Springer
Generalized algebraic data types (GADTs) have received much attention recently in the functional programming community. They generalize the (type) parameterized algebraic datatype...
DFT
2006
IEEE
13 years 9 months ago
2006
IEEE
With the recent development of nanoscale materials and assembly techniques, it is envisioned to build high-density reconfigurable systems which have never been achieved by the pho...