The environment as an argument: context-aware functional programming

Authors:
Pedro M. Martins;Julie A. McCann;Susan Eisenbach
Affiliations:
Imperial College London, UK;Imperial College London, UK;Imperial College London, UK
Venue:
PADL'12 Proceedings of the 14th international conference on Practical Aspects of Declarative Languages
Year:
2012

Citing 8
Cited 0

Implicit parameters: dynamic scoping with static types

Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Out of context: computer systems that adapt to, and learn from, context

IBM Systems Journal
Strongly typed heterogeneous collections

Haskell '04 Proceedings of the 2004 ACM SIGPLAN workshop on Haskell
Applicative programming with effects

Journal of Functional Programming
A conceptual framework and a toolkit for supporting the rapid prototyping of context-aware applications

Human-Computer Interaction
Parameterised notions of computation

Journal of Functional Programming
Push-pull functional reactive programming

Proceedings of the 2nd ACM SIGPLAN symposium on Haskell
The java context awareness framework (JCAF) – a service infrastructure and programming framework for context-aware applications

PERVASIVE'05 Proceedings of the Third international conference on Pervasive Computing

Quantified Score

Hi-index	0.00

Visualization

Abstract

Context-awareness as defined in the setting of Ubiquitous Computing [3] is all about expressing the dependency of a specific computation upon some implicit piece of information. The manipulation and expression of such dependencies may thus be neatly encapsulated in a language where computations are first-class values. Perhaps surprisingly however, context-aware programming has not been explored in a functional setting, where first-class computations and higher-order functions are commonplace. In this paper we present an embedded domain-specific language (EDSL) for constructing context-aware applications in the functional programming language Haskell.