Statically Qualified Types in Timor

J Leslie Keedy; Klaus Espenlaub; Christian Heinlein; Gisela Menger; Mark Peter Evered

Statically Qualified Types in Timor

J Leslie Keedy, Klaus Espenlaub, Christian Heinlein, Gisela Menger, Mark Peter Evered

Computer Science

Research output: Contribution to journal › Article › peer-review

Abstract

In earlier papers qualifying types were presented as a technique for dynamically qualifying objects in a general way. This paper considers how such types can be composed statically into the definitions of other types.

Original language	English
Pages (from-to)	115-137
Journal	Journal of Object Technology
Volume	4
Issue number	7
Publication status	Published - 2005

Keywords

Programming Languages

Access to Document

https://hdl.handle.net/1959.11/3711

Handle.net

Persistent link

Cite this

@article{1918850ba6c04fd8bd427ec79c9ce096,

title = "Statically Qualified Types in Timor",

abstract = "In earlier papers qualifying types were presented as a technique for dynamically qualifying objects in a general way. This paper considers how such types can be composed statically into the definitions of other types.",

keywords = "Programming Languages",

author = "Keedy, \{J Leslie\} and Klaus Espenlaub and Christian Heinlein and Gisela Menger and Evered, \{Mark Peter\}",

year = "2005",

language = "English",

volume = "4",

pages = "115--137",

journal = "Journal of Object Technology",

issn = "1660-1769",

publisher = "ETH Zurich",

number = "7",

}

TY - JOUR

T1 - Statically Qualified Types in Timor

AU - Keedy, J Leslie

AU - Espenlaub, Klaus

AU - Heinlein, Christian

AU - Menger, Gisela

AU - Evered, Mark Peter

PY - 2005

Y1 - 2005

N2 - In earlier papers qualifying types were presented as a technique for dynamically qualifying objects in a general way. This paper considers how such types can be composed statically into the definitions of other types.

AB - In earlier papers qualifying types were presented as a technique for dynamically qualifying objects in a general way. This paper considers how such types can be composed statically into the definitions of other types.

KW - Programming Languages

UR - http://www.jot.fm/issues/issue_2005_09/article5.pdf

M3 - Article

SN - 1660-1769

VL - 4

SP - 115

EP - 137

JO - Journal of Object Technology

JF - Journal of Object Technology

IS - 7

ER -

Statically Qualified Types in Timor

Abstract

Keywords

Access to Document

Handle.net

Fingerprint

Cite this