1419 search results - page 261 / 284 » Notes on Formalizing Context |
ICFP
2005
ACM
16 years 13 days ago
2005
ACM
Existential types provide a simple and elegant foundation for uning generative abstract data types, of the kind supported by the Standard ML module system. However, in attempting ...
103
click to vote
ICFP
2003
ACM
16 years 13 days ago
2003
ACM
This paper define the semantics of MinAML, an idealized aspect-oriented programming language, by giving a typedirected translation from its user-friendly external language to its ...
POPL
2010
ACM
15 years 10 months ago
2010
ACM
In functional programming, monadic characterizations of computational effects are normally understood denotationally: they describe how an effectful program can be systematically ...
105
click to vote
AOSD
2010
ACM
15 years 7 months ago
2010
ACM
In aspect-oriented programming languages, advice evaluation is usually considered as part of the base program evaluation. This is also the case for certain pointcuts, such as if p...
71
Voted
CHI
2010
ACM
15 years 7 months ago
2010
ACM
CT Cellphones have the potential to improve education for the millions of underprivileged users in the developing world. However, mobile learning in developing countries remains un...