Generic and Indexed Programming

<i>Generic programming</i> is about making programs more widely applicable via exotic kinds of parametrization—not just along the dimensions of values or of types, but also of things such as the shape of data, algebraic structures, strategies, computational paradigms, and so on. <i>...

詳細記述

書誌詳細
その他の著者: Gibbons, J
フォーマット: Conference item
出版事項: Springer 2012