The typechecking of programs with implicit type structure

Nancy McCracken

doi:10.1007/3-540-13346-1_15

The typechecking of programs with implicit type structure

Nancy McCracken

School of Information Studies

Research output: Chapter in Book/Entry/Poem › Conference contribution

31 Scopus citations

Original language	English (US)
Title of host publication	Semantics of Data Types - International Symposium, Proceedings
Editors	Gordon Plotkin, Gilles Kahn, David B. MacQueen
Publisher	Springer Verlag
Pages	301-315
Number of pages	15
ISBN (Print)	9783540133469
DOIs	https://doi.org/10.1007/3-540-13346-1_15
State	Published - 1984
Event	International Symposium on the Semantics of Data Types, 1984 - Sophia-Antipolis, France Duration: Jun 27 1984 → Jun 29 1984

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	173 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Other

Other	International Symposium on the Semantics of Data Types, 1984
Country/Territory	France
City	Sophia-Antipolis
Period	6/27/84 → 6/29/84

ASJC Scopus subject areas

Theoretical Computer Science
General Computer Science

Access to Document

10.1007/3-540-13346-1_15

Cite this

McCracken, N. (1984). The typechecking of programs with implicit type structure. In G. Plotkin, G. Kahn, & D. B. MacQueen (Eds.), Semantics of Data Types - International Symposium, Proceedings (pp. 301-315). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 173 LNCS). Springer Verlag. https://doi.org/10.1007/3-540-13346-1_15

The typechecking of programs with implicit type structure. / McCracken, Nancy.
Semantics of Data Types - International Symposium, Proceedings. ed. / Gordon Plotkin; Gilles Kahn; David B. MacQueen. Springer Verlag, 1984. p. 301-315 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 173 LNCS).

Research output: Chapter in Book/Entry/Poem › Conference contribution

McCracken, N 1984, The typechecking of programs with implicit type structure. in G Plotkin, G Kahn & DB MacQueen (eds), Semantics of Data Types - International Symposium, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 173 LNCS, Springer Verlag, pp. 301-315, International Symposium on the Semantics of Data Types, 1984, Sophia-Antipolis, France, 6/27/84. https://doi.org/10.1007/3-540-13346-1_15

McCracken N. The typechecking of programs with implicit type structure. In Plotkin G, Kahn G, MacQueen DB, editors, Semantics of Data Types - International Symposium, Proceedings. Springer Verlag. 1984. p. 301-315. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/3-540-13346-1_15

McCracken, Nancy. / The typechecking of programs with implicit type structure. Semantics of Data Types - International Symposium, Proceedings. editor / Gordon Plotkin ; Gilles Kahn ; David B. MacQueen. Springer Verlag, 1984. pp. 301-315 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{6ba52302d9b04ba28ad4201ca40ea0d7,

title = "The typechecking of programs with implicit type structure",

author = "Nancy McCracken",

year = "1984",

doi = "10.1007/3-540-13346-1_15",

language = "English (US)",

isbn = "9783540133469",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "301--315",

editor = "Gordon Plotkin and Gilles Kahn and MacQueen, {David B.}",

booktitle = "Semantics of Data Types - International Symposium, Proceedings",

note = "International Symposium on the Semantics of Data Types, 1984 ; Conference date: 27-06-1984 Through 29-06-1984",

}

TY - GEN

T1 - The typechecking of programs with implicit type structure

AU - McCracken, Nancy

PY - 1984

Y1 - 1984

UR - http://www.scopus.com/inward/record.url?scp=84976800471&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84976800471&partnerID=8YFLogxK

U2 - 10.1007/3-540-13346-1_15

DO - 10.1007/3-540-13346-1_15

M3 - Conference contribution

AN - SCOPUS:84976800471

SN - 9783540133469

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 301

EP - 315

BT - Semantics of Data Types - International Symposium, Proceedings

A2 - Plotkin, Gordon

A2 - Kahn, Gilles

A2 - MacQueen, David B.

PB - Springer Verlag

T2 - International Symposium on the Semantics of Data Types, 1984

Y2 - 27 June 1984 through 29 June 1984

ER -

The typechecking of programs with implicit type structure

Publication series

Other

ASJC Scopus subject areas

Access to Document

Other files and links

Cite this