83
Voted
ICFP
2005
ACM
16 years 6 days ago
2005
ACM
The concept of a "unique" object arises in many emerging programming languages such as Clean, CQual, Cyclone, TAL, and Vault. In each of these systems, unique objects ma...
103
Voted
ICFP
2007
ACM
16 years 6 days ago
2007
ACM
As a means of transmitting not only data but also code encapsulated within functions, higher-order channels provide an advanced form of task parallelism in parallel computations. ...
198
Voted
POPL
2007
ACM
16 years 17 days ago
2007
ACM
We present a model of recursive and impredicatively quantified types with mutable references. We interpret in this model all of the type constructors needed for typed intermediate...