A computationally adequate model for overloading via domain-valued functors (Q4236214)
From MaRDI portal
scientific article; zbMATH DE number 1268687
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A computationally adequate model for overloading via domain-valued functors |
scientific article; zbMATH DE number 1268687 |
Statements
A computationally adequate model for overloading via domain-valued functors (English)
0 references
22 March 1999
0 references
denotational semantics
0 references
