Forskning ved Københavns Universitet - Københavns Universitet

Forside

A semantics for higher-order functors

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

Standard

A semantics for higher-order functors. / MacQueen, David B.; Tofte, Mads.

Proceedings of the 5th European Symposium on Programming (ESOP), Vol 788 of Lecture Notes in Computer Science. Springer, 1994. s. 409-423.

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

Harvard

MacQueen, DB & Tofte, M 1994, A semantics for higher-order functors. i Proceedings of the 5th European Symposium on Programming (ESOP), Vol 788 of Lecture Notes in Computer Science. Springer, s. 409-423.

APA

MacQueen, D. B., & Tofte, M. (1994). A semantics for higher-order functors. I Proceedings of the 5th European Symposium on Programming (ESOP), Vol 788 of Lecture Notes in Computer Science (s. 409-423). Springer.

Vancouver

MacQueen DB, Tofte M. A semantics for higher-order functors. I Proceedings of the 5th European Symposium on Programming (ESOP), Vol 788 of Lecture Notes in Computer Science. Springer. 1994. s. 409-423

Author

MacQueen, David B. ; Tofte, Mads. / A semantics for higher-order functors. Proceedings of the 5th European Symposium on Programming (ESOP), Vol 788 of Lecture Notes in Computer Science. Springer, 1994. s. 409-423

Bibtex

@inbook{52c615c074ce11dbbee902004c4f4f50,
title = "A semantics for higher-order functors",
author = "MacQueen, {David B.} and Mads Tofte",
year = "1994",
language = "English",
pages = "409--423",
booktitle = "Proceedings of the 5th European Symposium on Programming (ESOP), Vol 788 of Lecture Notes in Computer Science",
publisher = "Springer",

}

RIS

TY - CHAP

T1 - A semantics for higher-order functors

AU - MacQueen, David B.

AU - Tofte, Mads

PY - 1994

Y1 - 1994

M3 - Book chapter

SP - 409

EP - 423

BT - Proceedings of the 5th European Symposium on Programming (ESOP), Vol 788 of Lecture Notes in Computer Science

PB - Springer

ER -

ID: 260772