Output details
11 - Computer Science and Informatics
University of Edinburgh
Return to search
Output 0 of 0 in the submission
Output title
Blame for all
Type
E - Conference contribution
Name of conference/published proceedings
Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of Programming Languages (POPL '11)
Volume number
-
Issue number
-
First page of article
201
ISSN of proceedings
-
Year of publication
2011
Number of additional authors
3
Additional information
<10> Originality: The first treatment of parametric polymorphism in a small calculus that integrates static and dynamic types. Generics (modelled by parametric polymorphism) are widely used (Java, C#), integration of dynamic and static types is becoming widely used (C#, TypeScript), this is the first formal work to bring the two together.
Significance: Work presented at PhD Open, University of Warsaw, and Midlands Graduate School, Leicester. Subject of ongoing collaboration with Nikhil Swamy at Microsoft Research.
Rigour: POPL is the world-leading conference on programming language theory. Executable model in Redex (11.3kB zip archive), available from http://plt.eecs.northwestern.edu/blame-for-all/.
Interdisciplinary
-
Cross-referral requested
-
Research group
F - Laboratory for Foundations of Computer Science
Citation count
1
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-
