Recursive modules for programming

K Nakata, J Garrigue - ACM SIGPLAN Notices, 2006 - dl.acm.org
TheML module system is useful for building large-scale programs. The programmer can
factor programs into nested and parameterized modules, and can control abstraction with …
被引用次数：31 相关文章
[PDF] ioc.ee

[PDF][PDF] Recursive Modules for Programming

K Nakata, J Garrigue - ioc.ee
The ML module system is useful for building large-scale programs. The programmer can
factor programs into nested and parameterized modules, and can control abstraction with …
[PDF] kyoto-u.ac.jp

[PDF][PDF] Recursive modules for programming

K Nakata, J Garrigue - kurims.kyoto-u.ac.jp
In Section 3, we formally introduce Traviata by giving its concrete syntax. In Section 4 and 5,
we explain the type system. The type system is an extension of our previous work (Nakata & …
[PDF] archive.org

[PDF][PDF] Recursive Modules for Programming

K Nakata, J Garrigue - scholar.archive.org
The ML module system is useful for building large-scale programs. The programmer can
factor programs into nested and parameterized modules, and can control abstraction with …
[PDF] ioc.ee

[PDF][PDF] Recursive Modules for Programming

K Nakata, J Garrigue - cs.ioc.ee
The ML module system is useful for building large-scale programs. The programmer can
factor programs into nested and parameterized modules, and can control abstraction with …
[PDF] psu.edu

[PDF][PDF] Recursive modules for programming

K Nakata, J Garrigue - Citeseer
The ML module system is useful for building large-scale programs. The programmer can
factor programs into nested and parameterized modules, and can control abstraction with …
[PDF] ioc.ee

[PDF][PDF] Recursive Modules for Programming

K Nakata, J Garrigue - cs.ioc.ee
The ML module system is useful for building large-scale programs. The programmer can
factor programs into nested and parameterized modules, and can control abstraction with …

[引用][C] Recursive modules for programming

K Nakata, J Garrigue - Proceedings of the eleventh ACM SIGPLAN …, 2006 - cir.nii.ac.jp
Recursive modules for programming | CiNii Research CiNii 国立情報学研究所 学術情報
ナビゲータ[サイニィ] 詳細へ移動 検索フォームへ移動 論文・データをさがす 大学図書館の本をさがす …
[PDF] researchgate.net

[PDF][PDF] Recursive modules for programming

K Nakata, J Garrigue - researchgate.net
The ML module system is useful for building large-scale programs. The programmer can
factor programs into nested and parameterized modules, and can control abstraction with …
[PDF] nagoya-u.ac.jp

[PDF][PDF] Recursive Modules for Programming

K Nakata, J Garrigue - math.nagoya-u.ac.jp
The ML module system is useful for building large-scale programs. The programmer can
factor programs into nested and parameterized modules, and can control abstraction with …