Aarhus University Seal / Aarhus Universitets segl

Realizability semantics of parametric polymorphism, general references, and recursive types

Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  • Lars Birkedal
  • Kristian Støvring, IT University of Copenhagen, Denmark
  • Jacob Thamsborg, IT University of Copenhagen, Denmark
Original languageEnglish
Title of host publicationFoundations of Software Science and Computational Structures : 12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings
Editors Luca de Alfaro
Number of pages15
PublisherSpringer
Publication year9 Nov 2009
Pages456-470
ISBN (print)9783642005954
ISBN (Electronic)978-3-642-00596-1
DOIs
Publication statusPublished - 9 Nov 2009
Externally publishedYes
SeriesLecture Notes in Computer Science
Volume5504
ISSN0302-9743

See relations at Aarhus University Citationformats

ID: 81389500