16190 search results - page 305 / 3238 » Applicative programming with effects |
152
click to vote
ICTL
1994
15 years 8 months ago
1994
In this paper we present a survey of work relating to the Concurrent METATEM programming language. In addition to a description of the basic Concurrent METATEM system, which incorp...
133
click to vote
POPL
1995
ACM
15 years 7 months ago
1995
ACM
We present a variant of the Standard ML module system rameterized abstract types (i.e. functors returning generative types) map provably equal arguments to compattract types, inst...
145
click to vote
POPL
2012
ACM
13 years 11 months ago
2012
ACM
We present a general theory of Gifford-style type and effect annotations, where effect annotations are sets of effects. Generality is achieved by recourse to the theory of algebra...
126
click to vote
PERCOM
2007
ACM
16 years 3 months ago
2007
ACM
Sensor networks are one important building block towards the realisation of context-aware applications. Suitable communication protocols and middleware solutions are necessary to ...
112
click to vote
CANDC
2005
ACM
15 years 4 months ago
2005
ACM
In this study, we design a learning environment to foster participants' creative attitude and evaluate its effectiveness in a university class. Our educational program consis...