Title: Dynamic types and type dependent functions
Authors: Pil, Marleen # ×
Issue Date: 1999
Publisher: Springer-verlag berlin
Series Title: Implementation of functional languages vol:1595 pages:169-185
Abstract: When programs communicate with other programs, flexibility is demanded. Programs do not necessarily have information about each other. When assigning types to these communications a certain amount of dynamic typing is unavoidable. But we do not want our entire language to become dynamically typed, and consequently an interface between the statically and dynamically typed parts of the program has to be defined. Such an interface, using dynamics,has been introduced by Abadi et al. Leroy and Mauni extended the system of dynamics to allow the inclusion of polymorphic objects in dynamics. In this paper we extend the system even further with a restricted form of type dependent functions, which allow us to abstract over the types of the dynamics on functional level. In CLEAN, these type dependent functions will be implemented by overloading.
ISSN: 0302-9743
Publication status: published
KU Leuven publication type: IT
Appears in Collections:Specific Teacher Training Programme in Languages
× corresponding author
# (joint) last author

Files in This Item:

There are no files associated with this item.

Request a copy


All items in Lirias are protected by copyright, with all rights reserved.

© Web of science