Coercions in Hindley-Milner systems. / Kießling, R.; Luo, Z.

Types for Proofs and Programs, Proc. of Inter. Conf. of TYPES'03. LNCS'3085. 2004.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Published

Standard

Coercions in Hindley-Milner systems. / Kießling, R.; Luo, Z.

Types for Proofs and Programs, Proc. of Inter. Conf. of TYPES'03. LNCS'3085. 2004.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Harvard

Kießling, R & Luo, Z 2004, Coercions in Hindley-Milner systems. in Types for Proofs and Programs, Proc. of Inter. Conf. of TYPES'03. LNCS'3085.

APA

Kießling, R., & Luo, Z. (2004). Coercions in Hindley-Milner systems. In Types for Proofs and Programs, Proc. of Inter. Conf. of TYPES'03. LNCS'3085

Vancouver

Kießling R, Luo Z. Coercions in Hindley-Milner systems. In Types for Proofs and Programs, Proc. of Inter. Conf. of TYPES'03. LNCS'3085. 2004

Author

Kießling, R. ; Luo, Z. / Coercions in Hindley-Milner systems. Types for Proofs and Programs, Proc. of Inter. Conf. of TYPES'03. LNCS'3085. 2004.

BibTeX

@inproceedings{8d16e5e7040b4582ac7f882fa672a75b,
title = "Coercions in Hindley-Milner systems",
author = "R. Kie{\ss}ling and Z. Luo",
year = "2004",
language = "English",
booktitle = "Types for Proofs and Programs, Proc. of Inter. Conf. of TYPES'03. LNCS'3085",

}

RIS

TY - GEN

T1 - Coercions in Hindley-Milner systems

AU - Kießling, R.

AU - Luo, Z.

PY - 2004

Y1 - 2004

M3 - Conference contribution

BT - Types for Proofs and Programs, Proc. of Inter. Conf. of TYPES'03. LNCS'3085

ER -