7529 search results - page 235 / 1506 » The Modula-3 Type System |
195
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
Information Retrieval systems can be improved by exploiting context information such as user and document features. This article presents a model based on overlapping probabilistic...
281
click to vote
POPL
2005
ACM
16 years 6 months ago
2005
ACM
Despite the extensiveness of recent investigations on static typing for XML, parametric polymorphism has rarely been treated. This well-established typing discipline can also be u...
166
click to vote
ICFP
2008
ACM
16 years 6 months ago
2008
ACM
This paper exhibits the power of programming with dependent types by dint of embedding three domain-specific languages: Cryptol, a language for cryptographic protocols; a small da...
203
click to vote
TYPES
1993
Springer
15 years 10 months ago
1993
Springer
Abstract. A data link protocol developed and used by Philips Electronics is modeled and veri ed using I/O automata theory. Correctness is computer-checked with the Coq proof develo...
157
click to vote
WSC
2004
15 years 8 months ago
2004
In this article, the following is done: (1) a systematic and comprehensive classification of input is given and the relevance of perception as an important type of input in intell...