Syntactically restricting bounded polymorphism for decidable subtyping (Q2038076)
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: Syntactically restricting bounded polymorphism for decidable subtyping |
scientific article; zbMATH DE number 7370093
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Syntactically restricting bounded polymorphism for decidable subtyping |
scientific article; zbMATH DE number 7370093 |
Statements
Syntactically restricting bounded polymorphism for decidable subtyping (English)
0 references
8 July 2021
0 references
polymorphism
0 references
language design
0 references
functional languages
0 references
object-oriented languages
0 references
0.773148775100708
0 references
0.7641711235046387
0 references
0.7633011937141418
0 references
