古典的証明に基づく値呼びプログラミング言語の型推論アルゴリズムについて
スポンサーリンク
概要
- 論文の詳細を見る
- 1998-03-17
著者
関連論文
- 構成的プログラミング
- 古典的証明に基づく関数型言語の構築
- 古典的証明に基づく値呼びプログラミング言語の型推論アルゴリズムについて
- 部分型推論の困難さに関する一考察
- Domain-Free $\lambda\mu$-Calculus for Polymorphism and Call-by-Value (Languages, Algebra and Computer Systems)
- μ冠頭形証明とそのプログラミングへの応用に関する一考察
- Martin-Lofの型理論に基づくプログラム支援システムの構築
- 類推における証明項の変換について
- Bengt Nordstrom, Kent Petersson and Jan M. Smith : Programming in Martin-Lof's Type Theory, An Introduction, Clarendon Press (1990). ISBN 0-19-853814-6