8706 search results - page 384 / 1742 » Learning Subjective Language |
255
click to vote
POPL
2004
ACM
16 years 4 months ago
2004
ACM
We investigate proof rules for information hiding, using the recent formalism of separation logic. In essence, we use the separating conjunction to partition the internal resource...
130
click to vote
ICFP
2008
ACM
16 years 4 months ago
2008
ACM
HMF is a conservative extension of Hindley-Milner type inference with first-class polymorphism. In contrast to other proposals, HML uses regular System F types and has a simple ty...
113
click to vote
ICFP
2008
ACM
16 years 4 months ago
2008
ACM
We have implemented a two-stage language, Paradise, for building reusable components which are used to price financial products. Paradise is embedded in Haskell and makes heavy us...
117
click to vote
ICFP
2007
ACM
16 years 4 months ago
2007
ACM
Filinski showed that callcc and a single mutable reference cell are sufficient to express the delimited control operators shift and reset. However, this implementation interacts p...
112
click to vote
ICFP
2006
ACM
16 years 4 months ago
2006
ACM
t programming techniques encourage abstraction and reuse through external linking. Some parts of a program, however, must use concrete, internally specified references, so a pure ...