72 search results - page 11 / 15 » Beating the Productivity Checker Using Embedded Languages |
ESOP
2006
Springer
15 years 1 months ago
2006
Springer
We present a typed calculus IL ("intermediate language") which supports the embedding of ML-like (strict, eager) and Haskell-like (non-strict, lazy) languages, without fa...
IJLT
2010
14 years 8 months ago
2010
: Ubiquitous computing could help the organisation and the mediation of social interactions wherever and whenever these situations might occur. Using those technologies enables the...
APSEC
2008
IEEE
15 years 4 months ago
2008
IEEE
There is a growing trend to deploy web services in pervasive computing environments. Implementing web services on networked, embedded devices leads to a set of challenges, includi...
108
click to vote
IUI
2006
ACM
15 years 4 months ago
2006
ACM
Networked appliances can simplify our lives, but interacting with them can be difficult in itself. KitchenSense is an early prototype of a networked kitchen full of sensors that u...
CORR
2006
Springer
14 years 10 months ago
2006
Springer
Prolog Server Pages (PSP) is a scripting language, based on Prolog, than can be embedded in HTML documents. To run PSP applications one needs a web server, a web browser and a PSP...