10.1145/1167473.1167498Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA2006273-29
This thesis revisits the well-known notion of parametric polymorphismin the light of modern developm...
. This paper describes a general purpose program analysis that computes global control-flow and data...
. Virtual types have been proposed as a notation for generic programming in object-oriented languag...
A promising approach for type-safe generic codes in the object-oriented paradigm is variant parametr...
none2We develop the mechanism of variant parametric types as a means to enhance synergy between para...
Optimizing compilers for function-oriented and object-oriented languages exploit type and flow infor...
Abstract. Object-oriented languages have suffered from poor performance caused by frequent and slow ...
Object-oriented languages have suffe=d from poor perfor-mance caused by frequent and slow dynamicall...
Central features of object-oriented programming are method inheritance and data abstraction attained...
The telescoping-languages approach achieves high performance from applications encoded as high-level...
. Programs written in languages of the Oberon family usually contain runtime tests on the dynamic ty...
Type inference for structural polymorphism ---i.e. record and variant polymorphism--- has been an ac...
An organized process is necessary to ensure that the building is built on time and within budget. Th...
Exploratory programming languages and development enjoy a reputation for enabling both rapid develo...
10.1007/978-3-642-00590-9_9Lecture Notes in Computer Science (including subseries Lecture Notes in A...
This thesis revisits the well-known notion of parametric polymorphismin the light of modern developm...
. This paper describes a general purpose program analysis that computes global control-flow and data...
. Virtual types have been proposed as a notation for generic programming in object-oriented languag...
A promising approach for type-safe generic codes in the object-oriented paradigm is variant parametr...
none2We develop the mechanism of variant parametric types as a means to enhance synergy between para...
Optimizing compilers for function-oriented and object-oriented languages exploit type and flow infor...
Abstract. Object-oriented languages have suffered from poor performance caused by frequent and slow ...
Object-oriented languages have suffe=d from poor perfor-mance caused by frequent and slow dynamicall...
Central features of object-oriented programming are method inheritance and data abstraction attained...
The telescoping-languages approach achieves high performance from applications encoded as high-level...
. Programs written in languages of the Oberon family usually contain runtime tests on the dynamic ty...
Type inference for structural polymorphism ---i.e. record and variant polymorphism--- has been an ac...
An organized process is necessary to ensure that the building is built on time and within budget. Th...
Exploratory programming languages and development enjoy a reputation for enabling both rapid develo...
10.1007/978-3-642-00590-9_9Lecture Notes in Computer Science (including subseries Lecture Notes in A...
This thesis revisits the well-known notion of parametric polymorphismin the light of modern developm...
. This paper describes a general purpose program analysis that computes global control-flow and data...
. Virtual types have been proposed as a notation for generic programming in object-oriented languag...
DOI
Add to ORKG