Dynamic Typing: Syntax and Proof Theory
Research output: Contribution to journal › Journal article › Research › peer-review
Standard
Dynamic Typing: Syntax and Proof Theory. / Henglein, Fritz.
In: Science of Computer Programming, Vol. 22, No. 3, 1994, p. 197-230.Research output: Contribution to journal › Journal article › Research › peer-review
Harvard
Henglein, F 1994, 'Dynamic Typing: Syntax and Proof Theory', Science of Computer Programming, vol. 22, no. 3, pp. 197-230.
APA
Henglein, F. (1994). Dynamic Typing: Syntax and Proof Theory. Science of Computer Programming, 22(3), 197-230.
Vancouver
Henglein F. Dynamic Typing: Syntax and Proof Theory. Science of Computer Programming. 1994;22(3):197-230.
Author
Bibtex
@article{2697657074cf11dbbee902004c4f4f50,
title = "Dynamic Typing: Syntax and Proof Theory",
abstract = "Dynamic typing, coercions, dynamically typed lambda-calculus, type inference coherence, completions, safety, minimality",
author = "Fritz Henglein",
year = "1994",
language = "English",
volume = "22",
pages = "197--230",
journal = "Science of Computer Programming",
issn = "0167-6423",
publisher = "Elsevier",
number = "3",
}
RIS
TY - JOUR
T1 - Dynamic Typing: Syntax and Proof Theory
AU - Henglein, Fritz
PY - 1994
Y1 - 1994
N2 - Dynamic typing, coercions, dynamically typed lambda-calculus, type inference coherence, completions, safety, minimality
AB - Dynamic typing, coercions, dynamically typed lambda-calculus, type inference coherence, completions, safety, minimality
M3 - Journal article
VL - 22
SP - 197
EP - 230
JO - Science of Computer Programming
JF - Science of Computer Programming
SN - 0167-6423
IS - 3
ER -
ID: 273866