![](/img/cover-not-exists.png)
[ACM Press the 2012 Annual Workshop - Copenhagen, Denmark (2012.09.09-2012.09.15)] Proceedings of the 2012 Annual Workshop on Scheme and Functional Programming - Scheme '12 - Interpretations of the gradually-typed lambda calculus
Siek, Jeremy G., Garcia, RonaldYear:
2012
Language:
english
DOI:
10.1145/2661103.2661112
File:
PDF, 769 KB
english, 2012