Skip to search boxSkip to navigationSkip to main content

Partiality, State, and Dependent Types

  • Kasper Svendsen
    ,
  • Lars Birkedal
    ,
  • Aleks Nanevski
Research Output:
Conference Article in Proceeding or Book/Report chapter
Article in proceedings
 Peer-review

Publication Information

Output type

Research Output:
Conference Article in Proceeding or Book/Report chapter
Article in proceedings
 Peer-review

Original language

English

Pages from-to (Number of pages)

Pages 198-212

Publication milestones

  • Published - 2011

Publication status

Published - 2011

Volume

LNCS 6690

Publisher

Springer, United States, Germany

ISBN (Print)

978-3-642-21690-9

Publication IDs

  • Scopus: 79960083644

Host publication title

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

Publication metrics

PlumX

Captures
3
Citations
8