Do we Need Dependent Types?
Do we Need Dependent Types? Daniel Fridlender Mia Indrika March 2001 Inspired by Danvy, we describe a technique for defining, within the Hindley-Milner type system, some functions which seem to require a language with dependent types. We illustrate this by giving a general definition of zipWith for which the Haskell library provides a family of functions, each member of the family having a differe
School of Computer Science - University of St Andrews
Graduation 2024 On behalf of the School of Computer Science, we would like to congratulate all of this year’s graduating students. We wish you all the very best of luck! Category CS Graduation Reception On behalf of the school, we would like to invite our Graduating Students and your guests to our upcoming graduation reception. Please join us in celebrating your achievements and marking this signi
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
http://www.cs.nott.ac.uk/~psztxa/publ/ydtm.pdf
http://adam.chlipala.net/cpdt/cpdt.pdf
