Functional Programming with Overloading and Higher-Order Polymorphism Mark P. Jones, In First International Spring School on Advanced Functional Programming Techniques, B{\aa}stad, Sweden, Springer-Verlag Lecture Notes in Computer Science 925, May 1995. Abstract: The Hindley/Milner type system has been widely adopted as a basis for statically typed functional languages. One of the main reasons for
A lot of documentation exists about Haskell, and its foundations, in the form of research papers written by those investigating language design. An enormous research effort, by hundreds of researchers over the past 20 years, has gone into making Haskell such a great language. In general, if a feature is not well understood, it isn't going to become part of the language. Here is a selection of thos
The Haskell programming language community. Daily news and info about all things Haskell related: practical stuff, theory, types, libraries, jobs, patches, releases, events and conferences and more...
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く