Add to ORKGAbstract. This paper presents our experiments in providing mechanisms for parametric polymorphism for computer algebra software components. Specific interfaces between Aldor and C++ and between Aldor and Maple are described. We then present a general solution, Generic IDL (GIDL), an extension to CORBA IDL supporting generic types. We describe our language bindings for C++, Java 1.5 and Aldor as well as aspects of our implementation, consisting of a GIDL to IDL compiler and tools for generating interface code for the various language bindings.
Object algebras are a new programming technique that enables a simple solution to basic extensibilit...
The polymorphic type system of ML can be extended in two ways to make it the appropriate basis of a ...
Abstract. Concepts—sets of abstractions related by common requirements— have a central role in gener...
Abstract. This paper presents our experiments in providing mecha-nisms for parametric polymorphism f...
Parametric polymorphism has become a common feature of mainstream programming languages, but softwar...
This paper describes structural polymorphism, a new form of type polymorphism appropriate to functio...
A static type system is an important tool in efficiently developing correct software. We describe th...
All object oriented programming languages offer various degrees of support for generic programming. ...
This paper describes several extensions to the.NET Common Intermediary Language (CIL), each of which...
This thesis revisits the well-known notion of parametric polymorphismin the light of modern developm...
Polymorphic abstraction provides the ability to write programs that are independent of the form of t...
Type inference for structural polymorphism ---i.e. record and variant polymorphism--- has been an ac...
Polymorphic abstraction provides the ability to write programs that are independent of the form of t...
International audienceScientific programmers are eager to take advantage of the computational power ...
AbstractThis paper describes several extensions to the .NET Common Intermediary Language (CIL), each...
Object algebras are a new programming technique that enables a simple solution to basic extensibilit...
The polymorphic type system of ML can be extended in two ways to make it the appropriate basis of a ...
Abstract. Concepts—sets of abstractions related by common requirements— have a central role in gener...
Abstract. This paper presents our experiments in providing mecha-nisms for parametric polymorphism f...
Parametric polymorphism has become a common feature of mainstream programming languages, but softwar...
This paper describes structural polymorphism, a new form of type polymorphism appropriate to functio...
A static type system is an important tool in efficiently developing correct software. We describe th...
All object oriented programming languages offer various degrees of support for generic programming. ...
This paper describes several extensions to the.NET Common Intermediary Language (CIL), each of which...
This thesis revisits the well-known notion of parametric polymorphismin the light of modern developm...
Polymorphic abstraction provides the ability to write programs that are independent of the form of t...
Type inference for structural polymorphism ---i.e. record and variant polymorphism--- has been an ac...
Polymorphic abstraction provides the ability to write programs that are independent of the form of t...
International audienceScientific programmers are eager to take advantage of the computational power ...
AbstractThis paper describes several extensions to the .NET Common Intermediary Language (CIL), each...
Object algebras are a new programming technique that enables a simple solution to basic extensibilit...
The polymorphic type system of ML can be extended in two ways to make it the appropriate basis of a ...
Abstract. Concepts—sets of abstractions related by common requirements— have a central role in gener...