Type and behaviour reconstruction for higher-order concurrent programs (Q4358460)
From MaRDI portal
scientific article; zbMATH DE number 1067876
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Type and behaviour reconstruction for higher-order concurrent programs |
scientific article; zbMATH DE number 1067876 |
Statements
Type and behaviour reconstruction for higher-order concurrent programs (English)
0 references
29 September 1997
0 references
inference algorithm
0 references
CML
0 references
