Integrating linear and dependent types (Q2819785)
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: Integrating Linear and Dependent Types |
scientific article; zbMATH DE number 6631287
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Integrating linear and dependent types |
scientific article; zbMATH DE number 6631287 |
Statements
29 September 2016
0 references
dependent types
0 references
Hoare triples
0 references
intersection types
0 references
linear types
0 references
proof irrelevance
0 references
separation logic
0 references
0.8722253
0 references
0.8670051
0 references
0 references
0 references
0 references
0 references
0.8517778
0 references
0.84969985
0 references
0.8475634
0 references
Integrating linear and dependent types (English)
0 references
