G: A functional language with generic abstract data types

Bailes P.A. (1987) G: A functional language with generic abstract data types. Computer Languages, 12 2: 69-94. doi:10.1016/0096-0551(87)90001-4


Author Bailes P.A.
Title G: A functional language with generic abstract data types
Journal name Computer Languages   Check publisher's open access policy
ISSN 0096-0551
Publication date 1987-01-01
Sub-type Article (original research)
DOI 10.1016/0096-0551(87)90001-4
Volume 12
Issue 2
Start page 69
End page 94
Total pages 26
Subject 1700 Computer Science
Abstract A scientific approach to language design involves the exhaustive analysis of the demands of one of the criteria for language design and or assessment. G is designed on the sole criterion of support for data abstraction, which leads to the adoption of the applicative or functional model. As well as a full complement of standard data types and operations, G emphasises tools for: type definition; type checking; function argument and list types; function types; data structure types; generic types; generic functions; and generic function types. Comparative analysis shows that the benefits of our simple and general structure justify the need for dynamic type checking.
Keyword Abstraction
Applicative programming
Data type
Language design
Q-Index Code C1
Q-Index Status Provisional Code
Institutional Status Unknown

Document type: Journal Article
Sub-type: Article (original research)
Collection: Scopus Import - Archived
 
Versions
Version Filter Type
Citation counts: Scopus Citation Count Cited 1 times in Scopus Article | Citations
Google Scholar Search Google Scholar
Created: Tue, 28 Jun 2016, 11:12:57 EST by System User