Type specialisation for imperative languages (Q5348877)
From MaRDI portal
scientific article; zbMATH DE number 6763096
Language | Label | Description | Also known as |
---|---|---|---|
English | Type specialisation for imperative languages |
scientific article; zbMATH DE number 6763096 |
Statements
Type specialisation for imperative languages (English)
0 references
21 August 2017
0 references
monads
0 references
program transformation
0 references
specialisation
0 references
type systems
0 references