State-dependent representation independence
Mitchell's notion of representation independence is a particularly useful application of
Reynolds' relational parametricity--two different implementations of an abstract data type can …
Reynolds' relational parametricity--two different implementations of an abstract data type can …
State-dependent representation independence
A Ahmed, D Dreyer, A Rossberg - Proceedings of the 36th annual ACM …, 2009 - dl.acm.org
Mitchell's notion of representation independence is a particularly useful application of
Reynolds' relational parametricity--two different implementations of an abstract data type can …
Reynolds' relational parametricity--two different implementations of an abstract data type can …
[PDF][PDF] State-Dependent Representation Independence
A Ahmed, D Dreyer, A Rossberg - 2009 - ttic.edu
Mitchell's notion of representation independence is a particularly useful application of
Reynolds' relational parametricity—two different implementations of an abstract data type …
Reynolds' relational parametricity—two different implementations of an abstract data type …
[引用][C] State-dependent representation independence
A Ahmed, D Dreyer, A Rossberg - Proceedings of the 36th annual ACM …, 2009 - cir.nii.ac.jp
State-dependent representation independence | CiNii Research CiNii 国立情報学研究所 学術
情報ナビゲータ[サイニィ] 詳細へ移動 検索フォームへ移動 論文・データをさがす 大学図書館の本を …
情報ナビゲータ[サイニィ] 詳細へ移動 検索フォームへ移動 論文・データをさがす 大学図書館の本を …
[PDF][PDF] State-Dependent Representation Independence
A Ahmed, D Dreyer - 2009 - Citeseer
Mitchell's notion of representation independence is a particularly useful application of
Reynolds' relational parametricity—two different implementations of an abstract data type …
Reynolds' relational parametricity—two different implementations of an abstract data type …
[PDF][PDF] State-Dependent Representation Independence
A Ahmed, D Dreyer, A Rossberg - 2009 - researchgate.net
Mitchell's notion of representation independence is a particularly useful application of
Reynolds' relational parametricity—two different implementations of an abstract data type …
Reynolds' relational parametricity—two different implementations of an abstract data type …
[引用][C] State-dependent representation independence
A Ahmed, D Dreyer, A Rossberg - 36th Annual ACM SIGPLAN-SIGACT …, 2009 - pure.mpg.de
State-dependent representation independence :: MPG.PuRe English Help Privacy Policy
Disclaimer Include files Advanced SearchBrowse START BASKET (0)Tools Item ITEM …
Disclaimer Include files Advanced SearchBrowse START BASKET (0)Tools Item ITEM …
[PDF][PDF] State-Dependent Representation Independence
A Ahmed, D Dreyer, A Rossberg - 2009 - scholar.archive.org
Mitchell's notion of representation independence is a particularly useful application of
Reynolds' relational parametricity—two different implementations of an abstract data type …
Reynolds' relational parametricity—two different implementations of an abstract data type …
[PDF][PDF] State-Dependent Representation Independence
A Ahmed, D Dreyer, A Rossberg - 2009 - khoury.northeastern.edu
Mitchell's notion of representation independence is a particularly useful application of
Reynolds' relational parametricity—two different implementations of an abstract data type …
Reynolds' relational parametricity—two different implementations of an abstract data type …
[PDF][PDF] State-Dependent Representation Independence
A Ahmed, D Dreyer, A Rossberg - 2009 - academia.edu
Mitchell's notion of representation independence is a particularly useful application of
Reynolds' relational parametricity—two different implementations of an abstract data type …
Reynolds' relational parametricity—two different implementations of an abstract data type …