G: A functional language with generic abstract data types

DOI10.1016/0096-0551(87)90001-4zbMATH Open0617.68007OpenAlexW1985443317MaRDI QIDQ4727397FDOQ4727397

Authors: Paul A. Bailes 

Publication date: 1987

Published in: Computer Languages (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0096-0551(87)90001-4

Recommendations

• scientific article; zbMATH DE number 3942988
• scientific article; zbMATH DE number 3880077
• Polymorphic programming I. Another language designed on semantic principles
• An extended comparative study of language support for generic programming
• Data types are values

zbMATH Keywords

data abstractionapplicative programmingdynamic type checkinglanguage design and/or assessment

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Specification and verification (program logics, model checking, etc.) (68Q60)

This page was built for publication: G: A functional language with generic abstract data types

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4727397)