251 search results - page 18 / 51 » Pure Type Systems without Explicit Contexts |
92
Voted
CAISE
2005
Springer
15 years 8 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...
230
Voted
ICFP
2009
ACM
16 years 3 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...
154
Voted
IDMS
2000
Springer
15 years 6 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...
151
Voted
EMNLP
2011
14 years 2 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...
109
Voted
FMICS
2007
Springer
15 years 6 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 ...