Refactoring Functional Programs
Refactoring is about `improving the design of existing code' and as such, it has been practised as long as programs have been written. The term refactoring specifically refers to a common activity in programming and software maintenance: changing the structure of a program without changing its semantics. Often, refactoring precedes a program modification or extension, bringing the program into a f
Type Theory and Functional Programming
Simon Thompson ISBN 0-201-41667-0, Addison-Wesley, 1991. This is now out of print. I had hoped to prepare a revised version before making it available online, but sadly this hasn't happened. So, you can get the original version, warts and all, from CafePress or free from here. Any errata will be gratefully received and added to the list below. Preface (html) Contents and Introduction (PostScript)
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
