Partiality, State, and Dependent Types

Kasper Svendsen; Lars Birkedal; Aleks Nanevski

Partiality, State, and Dependent Types

Kasper Svendsen, Lars Birkedal, Aleks Nanevski

Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

Originalsprog	Engelsk
Titel	Proceedings of Typed LAmbda Calculi and Applications - 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011
Vol/bind	LNCS 6690
Forlag	Springer
Publikationsdato	2011
Sider	198-212
ISBN (Trykt)	978-3-642-21690-9
Status	Udgivet - 2011

Citationsformater

@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. Bind LNCS 6690 Springer, 2011. s. 198-212.

Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › 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 -