Formally optimal boxing

Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologiForskning

Standard

Formally optimal boxing. / Henglein, Fritz; Jørgensen, Jesper.

21st Annual ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, Portlan, Oregon. 1994. s. 213-226.

Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologiForskning

Harvard

Henglein, F & Jørgensen, J 1994, Formally optimal boxing. i 21st Annual ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, Portlan, Oregon. s. 213-226.

APA

Henglein, F., & Jørgensen, J. (1994). Formally optimal boxing. I 21st Annual ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, Portlan, Oregon (s. 213-226)

Vancouver

Henglein F, Jørgensen J. Formally optimal boxing. I 21st Annual ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, Portlan, Oregon. 1994. s. 213-226

Author

Henglein, Fritz ; Jørgensen, Jesper. / Formally optimal boxing. 21st Annual ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, Portlan, Oregon. 1994. s. 213-226

Bibtex

@inbook{6c6ba30074ce11dbbee902004c4f4f50,
title = "Formally optimal boxing",
author = "Fritz Henglein and Jesper J{\o}rgensen",
year = "1994",
language = "English",
pages = "213--226",
booktitle = "21st Annual ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, Portlan, Oregon",

}

RIS

TY - CHAP

T1 - Formally optimal boxing

AU - Henglein, Fritz

AU - Jørgensen, Jesper

PY - 1994

Y1 - 1994

M3 - Book chapter

SP - 213

EP - 226

BT - 21st Annual ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, Portlan, Oregon

ER -

ID: 262572