A Temporal Logic Approach to Binding-Time Analysis (Q3177881)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A Temporal Logic Approach to Binding-Time Analysis |
scientific article |
Statements
A Temporal Logic Approach to Binding-Time Analysis (English)
0 references
2 August 2018
0 references
propositions as types
0 references
partial evaluation
0 references
staged computation
0 references
