Qualified types for MLF

D.J.P. Leijen, A. Löh

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Original language	Undefined/Unknown
Title of host publication	ICFP '05: Proceedings of the tenth ACM SIGPLAN international conference on Functional programming
Place of Publication	New York
Publisher	Association for Computing Machinery
Pages	144-155
Number of pages	12
Publication status	Published - 2005

Keywords

@inproceedings{bec1cfc122c844a7b1709ee75d843700,

title = "Qualified types for MLF",

keywords = "Wiskunde en Informatica (WIIN)",

author = "D.J.P. Leijen and A. L{\"o}h",

note = "Tenth International Conference on Functional Modelling",

year = "2005",

language = "Undefined/Unknown",

pages = "144--155",

booktitle = "ICFP '05: Proceedings of the tenth ACM SIGPLAN international conference on Functional programming",

publisher = "Association for Computing Machinery ",

address = "United States",

}

TY - GEN

T1 - Qualified types for MLF

AU - Leijen, D.J.P.

AU - Löh, A.

N1 - Tenth International Conference on Functional Modelling

PY - 2005

Y1 - 2005

KW - Wiskunde en Informatica (WIIN)

M3 - Conference contribution

SP - 144

EP - 155

BT - ICFP '05: Proceedings of the tenth ACM SIGPLAN international conference on Functional programming

PB - Association for Computing Machinery

CY - New York

ER -