The gradualizer: a methodology and algorithm for generating gradual type systems (Q2828289)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | The gradualizer: a methodology and algorithm for generating gradual type systems |
scientific article |
Statements
The gradualizer: a methodology and algorithm for generating gradual type systems (English)
0 references
24 October 2016
0 references
gradual typing
0 references
semantics
0 references
type systems
0 references