Dynamic Typing: Syntax and Proof Theory

88 Citationer (Scopus)

Abstract

Dynamic typing, coercions, dynamically typed lambda-calculus, type inference coherence, completions, safety, minimality

Originalsprog	Engelsk
Tidsskrift	Science of Computer Programming
Vol/bind	22
Udgave nummer	3
Sider (fra-til)	197-230
Antal sider	34
ISSN	0167-6423
Status	Udgivet - 1994

@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",

}

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

SN - 0167-6423

VL - 22

SP - 197

EP - 230

JO - Science of Computer Programming

JF - Science of Computer Programming

IS - 3

ER -