25 search results - page 2 / 5 » A Calculus for Compiling and Linking Classes |
ICFP
1999
ACM
13 years 9 months ago
1999
ACM
We propose a conservative extension of the polymorphic lambda calculus (A5B ) as an intermediate language for compiling languages with name-based class and interface hierarchies. ...
POPL
2005
ACM
14 years 5 months ago
2005
ACM
We define compositional compilation as the ability to typecheck source code fragments in isolation, generate corresponding binaries, and link together fragments whose mutual assum...
ACTA
2005
13 years 5 months ago
2005
MoMi (Mobile Mixins) is a coordination language for mobile processes that communicate and exchange object-oriented code in a distributed context. MoMi's key idea is structuri...
ICFP
2006
ACM
14 years 5 months ago
2006
ACM
Despite its powerful module system, ML has not yet evolved for the modern world of dynamic and open modular programming, to which more primitive languages have adapted better so f...
IJHPCA
2007
13 years 5 months ago
2007
We describe the rationale behind the design of key features of Titanium—an explicitly parallel dialect of JavaTM for high-performance scientific programming—and our experienc...