1ML–core and modules united (F-ing first-class modules)
A Rossberg - Proceedings of the 20th ACM SIGPLAN International …, 2015 - dl.acm.org
ML is two languages in one: there is the core, with types and expressions, and there are
modules, with signatures, structures and functors. Modules form a separate, higher-order …
modules, with signatures, structures and functors. Modules form a separate, higher-order …
[PDF][PDF] 1ML–Core and Modules United (F-ing First-class Modules)
A Rossberg - Citeseer
ML is two languages in one: there is the core, with types and expressions, and there are
modules, with signatures, structures and functors. Modules form a separate, higher-order …
modules, with signatures, structures and functors. Modules form a separate, higher-order …
[PDF][PDF] 1ML–Core and Modules United (F-ing First-class Modules)
A Rossberg - audentia-gestion.fr
ML is two languages in one: there is the core, with types and expressions, and there are
modules, with signatures, structures and functors. Modules form a separate, higher-order …
modules, with signatures, structures and functors. Modules form a separate, higher-order …
1ML-core and modules united (F-ing first-class modules)
A Rossberg - research.google
ML is two languages in one: there is the core, with types and expressions, and there are
modules, with signatures, structures and functors. Modules form a separate, higher-order …
modules, with signatures, structures and functors. Modules form a separate, higher-order …
[PDF][PDF] 1ML–Core and Modules United (F-ing First-Class Modules)
A ROSSBERG - people.mpi-sws.org
ML is two languages in one: there is the core, with types and expressions, and there are
modules, with signatures, structures and functors. Modules form a separate, higher-order …
modules, with signatures, structures and functors. Modules form a separate, higher-order …
[PDF][PDF] 1ML–Core and Modules United (F-ing First-class Modules)
A Rossberg - research.google.com
ML is two languages in one: there is the core, with types and expressions, and there are
modules, with signatures, structures and functors. Modules form a separate, higher-order …
modules, with signatures, structures and functors. Modules form a separate, higher-order …
[PDF][PDF] 1ML–Core and Modules United (F-ing First-class Modules)
A Rossberg - scholar.archive.org
ML is two languages in one: there is the core, with types and expressions, and there are
modules, with signatures, structures and functors. Modules form a separate, higher-order …
modules, with signatures, structures and functors. Modules form a separate, higher-order …
[PDF][PDF] 1ML–Core and Modules United (F-ing First-class Modules)
A Rossberg - audentia-gestion.fr
ML is two languages in one: there is the core, with types and expressions, and there are
modules, with signatures, structures and functors. Modules form a separate, higher-order …
modules, with signatures, structures and functors. Modules form a separate, higher-order …
[引用][C] 1ML–core and modules united (F-ing first-class modules)
A Rossberg - Proceedings of the 20th ACM SIGPLAN International …, 2015 - cir.nii.ac.jp
1ML – core and modules united (F-ing first-class modules) | CiNii Research CiNii 国立情報学
研究所 学術情報ナビゲータ[サイニィ] 詳細へ移動 検索フォームへ移動 論文・データをさがす 大学 …
研究所 学術情報ナビゲータ[サイニィ] 詳細へ移動 検索フォームへ移動 論文・データをさがす 大学 …
1ML–core and modules united (F-ing first-class modules)
A Rossberg - ACM SIGPLAN Notices, 2015 - dl.acm.org
ML is two languages in one: there is the core, with types and expressions, and there are
modules, with signatures, structures and functors. Modules form a separate, higher-order …
modules, with signatures, structures and functors. Modules form a separate, higher-order …