An application library package was developed that represents data packets for Deep Space Network (DSN) message packets as dynamically alterable arrays composed of arbitrary polymorphic data types. The software was to address a limitation of the present state of the practice for having an array directly composed of a single monomorphic data type. This is a severe limitation when one is dealing with science data in that the types of objects one is dealing with are typically not known in advance and, therefore, are dynamic in nature. The unique feature of this approach is that it enables one to define at run-time the dynamic shape of the matrix with the ability to store polymorphic data types in each of its indices. Existing languages such as ...
The polymorphic type system of ML can be extended in two ways to make it the appropriate basis of a ...
Several generic programs for converting values from regular datatypes to some other format, together...
Traditional techniques for implementing polymorphism use a universal representation for objects of u...
AbstractSeveral generic programs for converting values from regular datatypes to some other format, ...
Type-and-effect systems are a powerful tool for program construction and verification. We describe i...
Polymorphic abstraction provides the ability to write programs that are independent of the form of t...
This paper presents a library for programming with polymorphic dynamic types in the dependently type...
Polymorphic abstraction provides the ability to write programs that are independent of the form of t...
Ad-hoc polymorphism is a type of polymorphism where different function definitions can be given the ...
International audienceScientific programmers are eager to take advantage of the computational power ...
Overall, this work provides an introduction to the subject of polymorphic computing, provides a new ...
Any system that models a real world application has to evolve to be consistent with its changing dom...
Type-and-effect systems are a powerful tool for program construction and verification. We describe i...
This thesis concerns the technical problems of software reuse and the -related- problem of construct...
International audienceWe present a generic framework for runtime code polymorphism,applicable to a l...
The polymorphic type system of ML can be extended in two ways to make it the appropriate basis of a ...
Several generic programs for converting values from regular datatypes to some other format, together...
Traditional techniques for implementing polymorphism use a universal representation for objects of u...
AbstractSeveral generic programs for converting values from regular datatypes to some other format, ...
Type-and-effect systems are a powerful tool for program construction and verification. We describe i...
Polymorphic abstraction provides the ability to write programs that are independent of the form of t...
This paper presents a library for programming with polymorphic dynamic types in the dependently type...
Polymorphic abstraction provides the ability to write programs that are independent of the form of t...
Ad-hoc polymorphism is a type of polymorphism where different function definitions can be given the ...
International audienceScientific programmers are eager to take advantage of the computational power ...
Overall, this work provides an introduction to the subject of polymorphic computing, provides a new ...
Any system that models a real world application has to evolve to be consistent with its changing dom...
Type-and-effect systems are a powerful tool for program construction and verification. We describe i...
This thesis concerns the technical problems of software reuse and the -related- problem of construct...
International audienceWe present a generic framework for runtime code polymorphism,applicable to a l...
The polymorphic type system of ML can be extended in two ways to make it the appropriate basis of a ...
Several generic programs for converting values from regular datatypes to some other format, together...
Traditional techniques for implementing polymorphism use a universal representation for objects of u...