416 search results - page 3 / 84 » The ruby intermediate language |
POPL
2005
ACM
14 years 6 months ago
2005
ACM
Traditional class and object encodings are difficult to use in practical type-preserving compilers because of the complexity of the encodings. We propose a simple typed intermedia...
DLS
2010
13 years 3 months ago
2010
Dynamic mixin is a construct available in Ruby and other dynamic languages. It can be used as a base to implement a range of programming paradigms, such as dynamic aspectoriented ...
ICFP
1998
ACM
13 years 10 months ago
1998
ACM
FPCA
1989
13 years 9 months ago
1989
POPL
2007
ACM
14 years 6 months ago
2007
ACM
Type-preserving compilation can improve software reliability by generating code that can be verified independently of the compiler. Practical type-preserving compilation does not ...