251 search results - page 20 / 51 » Pure Type Systems without Explicit Contexts |
179
Voted
POPL
1994
ACM
15 years 6 months ago
1994
ACM
An important implementation decision in polymorphically typed functional programming languages is whether to represent data in boxed or unboxed form and when to transform them fro...
177
Voted
OOPSLA
2007
Springer
15 years 9 months ago
2007
Springer
Developing a general component system for a statically typed, object-oriented language is a challenging design problem for two reasons. First, mutually recursive references across...
110
Voted
FPL
2010
Springer
15 years 22 days ago
2010
Springer
Transactional memory is a promising, optimistic synchronization mechanism for chip-multiprocessor systems. The simplicity of atomic sections, instead of using explicit locks, is al...
120
Voted
ATAL
2004
Springer
15 years 8 months ago
2004
Springer
We investigate the applicability of multi-agent systems as a control approach for district heating systems. The consumers, i.e., the heat exchange systems, in current district hea...
131
Voted
STORYTELLING
2005
Springer
15 years 8 months ago
2005
Springer
This paper presents the mechanisms proposed by a generic cognitive architecture for virtual characters with emotional influenced behaviors, called cognitiva, to maintain behavior ...