525 search results - page 32 / 105 » Static Interpretation of Modules |
OOPSLA
2001
Springer
15 years 2 months ago
2001
Springer
Mixin modules are proposed as an extension of a class-based programming language. Mixin modules combine parallel extension of classes, including extension of the self types for th...
ICFP
2001
ACM
15 years 9 months ago
2001
ACM
Standard ML is a statically typed programming language that is suited for the construction of both small and large programs. "Programming in the small" is captured by St...
87
Voted
APLAS
2007
ACM
15 years 1 months ago
2007
ACM
We have built the first family of tagless interpretations for a higher-order typed object language in a typed metalanguage (Haskell or ML) that require no dependent types, general...
WWW
2001
ACM
15 years 10 months ago
2001
ACM
We present the design and implementation of XEBRA system. XEBRA is an integrated programming environment for XML processing and browsing on which users can build their own XML pro...
ISER
2004
Springer
15 years 3 months ago
2004
Springer
As robots enter the human environment and come in contact with inexperienced users, they need to be able to interact with users in a multi-modal fashion—keyboard and mouse are n...