A generalization of the concept of sketch (Q916772)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: A generalization of the concept of sketch |
scientific article; zbMATH DE number 4154690
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | A generalization of the concept of sketch |
scientific article; zbMATH DE number 4154690 |
Statements
A generalization of the concept of sketch (English)
0 references
1990
0 references
The fruitful notion of sketch (of a mathematical structure) is generalized as a tool of functional programming languages and possibly for other branches of theoretical computer science. Specifying the notion of sketch, constructor spaces are defined and some of the properties of the class of constructor spaces are studied, especially oriented to the problems of certain classes of programming languages. The main new notion is those of form of a given type. The model of a form is defined and some elementary examples of forms are pointed out. It is not easy to see the possibility of direct or indirect applications of constructor spaces and forms in computer science and especially in programming languages.
0 references
form of a type
0 references
sketch
0 references
functional programming
0 references
constructor spaces
0 references
programming languages
0 references
0.7710574269294739
0 references
0.7641122937202454
0 references
