A Polymorphic Record Calculus and Its Compilation

Atsushi Ohori

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

Original language	English
Pages (from-to)	844-895
Number of pages	52
Journal	ACM Transactions on Programming Languages and Systems (TOPLAS)
Volume	17
Issue number	6
DOIs	https://doi.org/10.1145/218570.218572
Publication status	Published - 1995 Nov 30
Externally published	Yes

ASJC Scopus subject areas

@article{f77a92e55236446c87ab095afca700e9,

title = "A Polymorphic Record Calculus and Its Compilation",

author = "Atsushi Ohori",

year = "1995",

month = nov,

day = "30",

doi = "10.1145/218570.218572",

language = "English",

volume = "17",

pages = "844--895",

journal = "ACM Transactions on Programming Languages and Systems",

issn = "0164-0925",

publisher = "Association for Computing Machinery (ACM)",

number = "6",

}

TY - JOUR

T1 - A Polymorphic Record Calculus and Its Compilation

AU - Ohori, Atsushi

PY - 1995/11/30

Y1 - 1995/11/30

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

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

U2 - 10.1145/218570.218572

DO - 10.1145/218570.218572

M3 - Article

AN - SCOPUS:0029404987

VL - 17

SP - 844

EP - 895

JO - ACM Transactions on Programming Languages and Systems

JF - ACM Transactions on Programming Languages and Systems

SN - 0164-0925

IS - 6

ER -