Generic unification via two-level types and parameterized modules (Q5178000)
From MaRDI portal
scientific article; zbMATH DE number 6413016
Language | Label | Description | Also known as |
---|---|---|---|
English | Generic unification via two-level types and parameterized modules |
scientific article; zbMATH DE number 6413016 |
Statements
Generic unification via two-level types and parameterized modules (English)
0 references
9 March 2015
0 references
generic programs
0 references
parameterized modules
0 references
unification
0 references