Fully abstract translations between functional languages (Q4286526)
From MaRDI portal
scientific article; zbMATH DE number 541148
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Fully abstract translations between functional languages |
scientific article; zbMATH DE number 541148 |
Statements
Fully abstract translations between functional languages (English)
0 references
11 December 1994
0 references
functional translation
0 references
programming language for computable functions
0 references
abstract translations between programming languages
0 references
code equivalence
0 references
lazy PCF
0 references
call-by-value PCF
0 references
full abstraction
0 references
