Constrained polymorphic types for a calculus with name variables (Q4580225)
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: Constrained polymorphic types for a calculus with name variables |
scientific article; zbMATH DE number 6917244
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Constrained polymorphic types for a calculus with name variables |
scientific article; zbMATH DE number 6917244 |
Statements
13 August 2018
0 references
open code
0 references
incremental rebinding
0 references
name polymorphism
0 references
metaprogramming
0 references
0.8462382555007935
0 references
0.773523211479187
0 references
0.7316856980323792
0 references
0.7136911749839783
0 references
0.7128093838691711
0 references
