251 search results - page 18 / 51 » Pure Type Systems without Explicit Contexts |
CAISE
2005
Springer
14 years 1 months ago
2005
Springer
: Many Information Systems research works have been developed and that type of research will continue, without doubt. Starting from a documental study, this work proposes some fact...
ICFP
2009
ACM
14 years 8 months ago
2009
ACM
We describe the implementation of first-class polymorphic delimited continuations in the programming language Scala. We use Scala's pluggable typing architecture to implement...
IDMS
2000
Springer
13 years 11 months ago
2000
Springer
In this paper, we propose a new paradigm for local communication between devices in Ubiquitous Computing environments, assuming a multitude of computerized everyday appliances comm...
EMNLP
2011
12 years 7 months ago
2011
Conversations provide rich opportunities for interactive, continuous learning. When something goes wrong, a system can ask for clarification, rewording, or otherwise redirect the...
FMICS
2007
Springer
13 years 11 months ago
2007
Springer
Due to the significant progress in automated verification, there are often several techniques for a particular verification problem. In many circumstances different techniques are ...