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

Henglein, Fritz. / Dynamic Typing: Syntax and Proof Theory. In: Science of Computer Programming. 1994 ; Vol. 22, No. 3. pp. 197-230.

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