Realizability Semantics of Parametric Polymorphism, General References, and Recursive Types
- Lars Birkedal,
- Kristian Støvring,
- Jacob Junker Thamsborg
Research Output:
Journal Article or Conference Article in Journal
Conference article
Peer-reviewPublication Information
Output type
Research Output:
Journal Article or Conference Article in Journal
Conference article
Peer-reviewOriginal language
EnglishPages from-to (Number of pages)
Pages 456-470 (15 pages)Journal (Volume, Issue Number)
Lecture Notes in Computer SciencePublication milestones
- Published - 2009
Publication status
Published - 2009
ISSN
0302-9743Publication IDs
- Scopus: 70350352385
Publication metrics
PlumX
Citations
21
Captures
4
Related Event
Title
Foundations of Software Science and Computational Structures, 12th International Conference
Event type
ConferenceDate
22/03/2009 - 29/03/2009Location
YorkUnited Kingdom