Access the full text.
Sign up today, get DeepDyve free for 14 days.
J. Garrigue (2010)
A certified implementation of ML with structural polymorphismProc. Asian Symposium on Programming Languages and Systems; Lect. Notes Comput. Sci., 6461
F. Pottier (2007)
A versatile constraint-based type inference systemNord. J. Comput., 4
G. Booch (2007)
Object-Oriented Analysis and Design with Applications
J. Garrigue (2002)
The Ninth International Workshop on Foundations of Object-Oriented Languages
R. Lammel, J. Visser (2002)
Practical Aspects of Declarative Languages: 4th International Symposium
T. Millstein (2002)
Modular typechecking for hierarchically extensible datatypes and functionsProceedings of the Seventh ACM SIGPLAN International Conference on Functional Programming, 37
B.C. Pierce (2002)
Types and Programming Languages
V. Litvinov (2003)
Constraint-bounded polymorphism: An expressive and practical type system for object-oriented languages
S. Tobin-Hochstadt (2008)
Symposium on Principles of Programming Languages
M. Neubauer (2002)
Conference Record of the 29th Symposium on Principles of Programming Languages
This article considers the creation of information support for process-based management of production systems on the basis of structural polymorphism. A review of polymorphism by types is presented and their strengths and weaknesses are given. Structural polymorphism is given a new definition that expands its capabilities. In the new proposed approach to creating information resources and software, structural polymorphism is used in the concept-based logical design of the system, as well as in the information support and software implementation phase.
Automatic Documentation and Mathematical Linguistics – Springer Journals
Published: Feb 6, 2019
Read and print from thousands of top scholarly journals.
Already have an account? Log in
Bookmark this article. You can see your Bookmarks on your DeepDyve Library.
To save an article, log in first, or sign up for a DeepDyve account if you don’t already have one.
Copy and paste the desired citation format or use the link below to download a file formatted for EndNote
Access the full text.
Sign up today, get DeepDyve free for 14 days.
All DeepDyve websites use cookies to improve your online experience. They were placed on your computer when you launched this website. You can change your cookie settings through your browser.