1742 search results - page 20 / 349 » An Applicative Module Calculus |
PLILP
1995
Springer
14 years 1 months ago
1995
Springer
Abstract. Using higher-order functions is standard practice in functional programming, but most functional logic programming languages that have been described in the literature la...
AIME
2001
Springer
14 years 2 months ago
2001
Springer
Abstract. We report on the design of a system for correcting spelling errors resulting in non-existent words. The system aims at improving edition of medical reports. Unlike tradit...
AMAST
2004
Springer
14 years 1 months ago
2004
Springer
We present a calculus for the verification of sequential Java programs. It supports all Java language constructs and has additional support for Java Card. The calculus is formally ...
AIED
2005
Springer
14 years 3 months ago
2005
Springer
This paper describes a platform that supports for one-on-one digital learning. The platform is named “DCE”, which stands for digital classroom environment. It consists of four ...
PERCOM
2007
ACM
14 years 9 months ago
2007
ACM
When people interact, they follow distinct rules that coordinate the order of speech, who opens doors, whom and how to greet, and many things more. Such a social codex depends on ...