Contextual Equivalences in Call-by-Need and Call-By-Name Polymorphically Typed Calculi (Preliminary Report) (Q5240138)
From MaRDI portal
scientific article; zbMATH DE number 7121850
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Contextual Equivalences in Call-by-Need and Call-By-Name Polymorphically Typed Calculi (Preliminary Report) |
scientific article; zbMATH DE number 7121850 |
Statements
24 October 2019
0 references
functional programming
0 references
polymorphic typing
0 references
contextual equivalence
0 references
semantics
0 references
0 references
0 references
Contextual Equivalences in Call-by-Need and Call-By-Name Polymorphically Typed Calculi (Preliminary Report) (English)
0 references
