Formally optimal boxing
Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research
Standard
Formally optimal boxing. / Henglein, Fritz; Jørgensen, Jesper.
21st Annual ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, Portlan, Oregon. 1994. p. 213-226.Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research
Harvard
Henglein, F & Jørgensen, J 1994, Formally optimal boxing. in 21st Annual ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, Portlan, Oregon. pp. 213-226.
APA
Henglein, F., & Jørgensen, J. (1994). Formally optimal boxing. In 21st Annual ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, Portlan, Oregon (pp. 213-226)
Vancouver
Henglein F, Jørgensen J. Formally optimal boxing. In 21st Annual ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, Portlan, Oregon. 1994. p. 213-226
Author
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