18429 search results - page 64 / 3686 » Typing dynamic typing |
112
Voted
TYPES
2000
Springer
15 years 7 months ago
2000
Springer
We introduce logic-enriched intuitionistic type theories, that extend intuitionistic dependent type theories with primitive judgements to express logic. By adding type theoretic ru...
128
click to vote
POPL
1991
ACM
15 years 7 months ago
1991
ACM
We present a new approach to the polymorphic typing of data accepting in-place modification in ML-like languages. This approach is based on restrictions over type generalization,...
128
Voted
ACTA
2002
15 years 4 months ago
2002
Object type constructors have been introduced as an approach to adding container object types to a language with type inference. Useful subtyping for object type constructors requ...
115
click to vote
IEAAIE
2009
Springer
15 years 10 months ago
2009
Springer
A decision support system model is described to advise nature park managers. It applies dynamic modelling techniques to relate abiotic characteristics of a site over time to specie...
145
click to vote
PODC
1999
ACM
15 years 8 months ago
1999
ACM
The dynamically configurable distributed object (DCDO) model helps enable object evolution and facilitate the development of distributed objects from multiple independent implemen...