7529 search results - page 343 / 1506 » The Modula-3 Type System |
187
Voted
APLAS
2009
ACM
16 years 1 months ago
2009
ACM
Restricting destructive update to values of a distinguished reference type prevents functions from being polymorphic in the mutability of their arguments. This restriction makes it...
134
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
— Consider a discrete-time networked control scheme, in which the controller has direct access to noisy measurements of the plant’s output, but the controller and the actuator ...
153
click to vote
BTW
2007
Springer
16 years 28 days ago
2007
Springer
: The MISTRAL system, a service oriented architecture for semantic extraction of multimedia data from meeting recordings is described shortly. It improves on other similar systems ...
207
click to vote
TLCA
2007
Springer
16 years 26 days ago
2007
Springer
A Kripke Semantics is defined for a higher-order logic programming language with constraints, based on Church’s Theory of Types and a generic constraint formalism. Our syntactic...
139
Voted
ICALT
2006
IEEE
16 years 24 days ago
2006
IEEE
The use of patterns in e-learning is being recently proposed with different purposes and scopes. This paper provides a unifying view of several representative proposals in order t...