We present an approach to enriching the type system of ML with a restricted form of
dependent types, where type index objects are drawn from a constraint domain C, leading to …

Programming is a notoriously error-prone process, and a great deal of evidence in practice
has demonstrated that the use of a type system in a programming language can effectively …

Programming is a notoriously error-prone process, and a great deal of evidence in practice
has demonstrated that the use of a type system in a programming language can effectively …

Programming is a notoriously error-prone process, and a great deal of evidence in practice
has demonstrated that the use of a type system in a programming language can effectively …

Dependent Types in Practical Programming Page 1 Dependent Types in Practical
Programming Hongwei Xi, Frank Pfenning (POPL 99) Presented by : Bomshik Kim 4/27/2000 …

Programming is a notoriously error-prone process, and a great deal of evidence in practice
has demonstrated that the use of a type system in a programming language can effectively …

Dependent types in practical programming | CiNii Research CiNii 国立情報学研究所 学術情報
ナビゲータ[サイニィ] 詳細へ移動 検索フォームへ移動 論文・データをさがす 大学図書館の本をさがす …

We present an approach to enriching the type system of ML with a restricted form of
dependent types, where type index objects are drawn from a constraint domain C, leading to …

Programming is a notoriously error-prone process, and a great deal of evidence in practice
has demonstrated that the use of a type system in a programming language can effectively …

Programming is a notoriously error-prone process, and a great deal of evidence in practice
has demonstrated that the use of a type system in a programming language can effectively …