712 search results - page 68 / 143 » A Classification of Multi-Database Languages |
CHI
2006
ACM
14 years 10 months ago
2006
ACM
In this paper we describe an on-going experiment on the calming effects of a relational agent on users following a social bonding interaction. Applications to a range of health ca...
POPL
2003
ACM
14 years 10 months ago
2003
ACM
We introduce a notion of guarded recursive (g.r.) datatype constructors, generalizing the notion of recursive datatypes in functional programming languages such as ML and Haskell....
ICFP
2002
ACM
14 years 10 months ago
2002
ACM
We propose an extension of Haskell's type class system with bstractions in the type language. Type inference for our extension relies on a novel constrained unification proce...
EMSOFT
2006
Springer
14 years 1 months ago
2006
Springer
Synchronous data-flow languages such as Scade/Lustre manage infinite sequences, or streams, as primitive values making them naturally adapted to the description of datadominated s...
DOCENG
2008
ACM
13 years 11 months ago
2008
ACM
In this paper we examine adaptive time-based web applications (or presentations). These are interactive presentations where time dictates the major structure, and that require int...