Recursive modules for programming (Q5501459)
From MaRDI portal
scientific article; zbMATH DE number 6469471
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Recursive modules for programming |
scientific article; zbMATH DE number 6469471 |
Statements
Recursive modules for programming (English)
0 references
3 August 2015
0 references
applicative functors
0 references
recursive modules
0 references
expression problem
0 references
type inference
0 references
type systems
0 references
