Computing ML equality kinds using abstract interpretation (Q1317430)
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: Computing ML equality kinds using abstract interpretation |
scientific article; zbMATH DE number 529883
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Computing ML equality kinds using abstract interpretation |
scientific article; zbMATH DE number 529883 |
Statements
Computing ML equality kinds using abstract interpretation (English)
0 references
24 March 1994
0 references
algebra of type construction
0 references
Standard ML
0 references
equality types
0 references
abstract interpretation
0 references
0.9600085
0 references
0.8485004
0 references
0.8389811
0 references
0 references
0 references
0.83371115
0 references
0.8332028
0 references
