Partiality, State, and Dependent Types

Kasper Svendsen; Lars Birkedal; Aleks Nanevski

Partiality, State, and Dependent Types

Kasper Svendsen, Lars Birkedal, Aleks Nanevski

Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

Original language	English
Title of host publication	Proceedings of Typed LAmbda Calculi and Applications - 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011
Volume	LNCS 6690
Publisher	Springer
Publication date	2011
Pages	198-212
ISBN (Print)	978-3-642-21690-9
Publication status	Published - 2011

Cite this

@inproceedings{5ef7173d87d745be83cfaf2f633b98a0,

title = "Partiality, State, and Dependent Types",

author = "Kasper Svendsen and Lars Birkedal and Aleks Nanevski",

year = "2011",

language = "English",

isbn = "978-3-642-21690-9",

volume = "LNCS 6690",

pages = "198--212",

booktitle = "Proceedings of Typed LAmbda Calculi and Applications - 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011",

publisher = "Springer",

address = "Germany",

}

Partiality, State, and Dependent Types. / Svendsen, Kasper; Birkedal, Lars; Nanevski, Aleks.

Proceedings of Typed LAmbda Calculi and Applications - 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Vol. LNCS 6690 Springer, 2011. p. 198-212.

Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

TY - GEN

T1 - Partiality, State, and Dependent Types

AU - Svendsen, Kasper

AU - Birkedal, Lars

AU - Nanevski, Aleks

PY - 2011

Y1 - 2011

M3 - Article in proceedings

SN - 978-3-642-21690-9

VL - LNCS 6690

SP - 198

EP - 212

BT - Proceedings of Typed LAmbda Calculi and Applications - 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011

PB - Springer

ER -