Type soundness proofs with definitional interpreters (Q5370900)
From MaRDI portal
scientific article; zbMATH DE number 6794686
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Type soundness proofs with definitional interpreters |
scientific article; zbMATH DE number 6794686 |
Statements
Type soundness proofs with definitional interpreters (English)
0 references
20 October 2017
0 references
DOT
0 references
definitional interpreters
0 references
Scala
0 references
dependent object types
0 references
type soundness
0 references
