G: A functional language with generic abstract data types

DOI10.1016/0096-0551(87)90001-4MaRDI QIDQ4727397zbMATH OpenOpenAlexFDO

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

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)

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

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)