制約によるパラメータ多相型推論(<特集>プログラミング及びプログラミング言語)

スポンサーリンク

概要

• 論文の詳細を見る
• 日本ソフトウェア科学会の論文
• 2001-03-15

著者

• 西村 進

  京都大学

• 西村 進

  京都大学数理解析研究所

関連論文

• FLOPS 2004 会議報告
• イベント駆動型文書変換器の自動生成
• 制約によるパラメータ多相型推論(プログラミング及びプログラミング言語)
• プログラミングと非言語化(特集・新世紀フォーラム)
• PDIアルゴリズム : プログラム差分合成のためのアルゴリズム

スポンサーリンク