357 search results - page 23 / 72 » A type system for higher-order modules |
TGC
2005
Springer
14 years 2 months ago
2005
Springer
Dynamic rebinding is the ability of changing the definitions of names at execution time. While dynamic rebinding is clearly useful in practice, and increasingly needed in modern s...
PLDI
1998
ACM
14 years 1 months ago
1998
ACM
A module system ought to enable assembly-line programming using separate compilation and an expressive linking language. Separate compilation allows programmers to develop parts o...
APVIS
2001
13 years 10 months ago
2001
The Nord Modular music synthesiser system comprises a standalone array of digital signal processors programmed by a dataflow visual langauage and supported by a visual programming...
ICRA
2008
IEEE
14 years 3 months ago
2008
IEEE
— We describe self-assembling robot arm systems composed of active modular robots and passive bars. We present a case study where the robotic module is the Shady3D robot and the ...
MIE
2008
13 years 10 months ago
2008
Many attempts have been made in the QA domain but no system applicable to the field of health is currently available on the Internet. This paper describes a bilingual French/Engli...