416 search results - page 3 / 84 » The ruby intermediate language |
170
click to vote
POPL
2005
ACM
15 years 9 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
14 years 7 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
15 years 1 months ago
1998
ACM
FPCA
1989
15 years 1 months ago
1989
162
click to vote
POPL
2007
ACM
15 years 9 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 ...