Higher-order dynamic pattern unification for dependent types and records (Q3007654)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 5908714
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Higher-order dynamic pattern unification for dependent types and records |
scientific article; zbMATH DE number 5908714 |
Statements
Higher-Order Dynamic Pattern Unification for Dependent Types and Records (English)
0 references
17 June 2011
0 references
0 references
0.8077443242073059
0 references
0.7912708520889282
0 references
0.7831107378005981
0 references
0.7831107378005981
0 references
0.7771028876304626
0 references
