10 search results - page 1 / 2 » Compiling Java to a Typed Lambda-Calculus: A Preliminary Rep... |
TIC
1998
Springer
13 years 8 months ago
1998
Springer
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. ...
SAC
2009
ACM
13 years 9 months ago
2009
ACM
The Semantic Web and its technologies become increasingly important. As more and more Semantic Web applications are being used, developing more stable Semantic Web applications be...
ECOOP
2010
Springer
13 years 9 months ago
2010
Springer
Data-centric synchronization groups fields of objects into atomic sets to indicate they must be updated atomically. Each atomic set has associated units of work, code fragments th...
PLDI
2010
ACM
13 years 9 months ago
2010
ACM
The JavaScript programming language is widely used for web programming and, increasingly, for general purpose computing. As such, improving the correctness, security and performan...