<< 2012/08/16 | ホーム | 2012/08/18 >>

Gradual Typing for Generics

ジェネリクスを考慮した漸進的型付け。同じ著者による FJ 向け漸進的型付けの発展で、FGJ 向けの漸進的型付けの話。

author="Lintaro Ina and Atsushi Igarashi",
title="{Gradual Typing for Generics}",
booktitle="OOPSLA '11",
publisher="ACM",
pages="609--624",
year="2011"

http://dx.doi.org/10.1145/2048066.2048114

タグ : ,