Detail Cantuman
Pencarian SpesifikE Book
Advanced Functional Programming
Typing Haskell with an Attribute Grammar -- Programming with Arrows -- Epigram: Practical Programming with Dependent Types -- Combining Datatypes and Effects -- GEC: A Toolkit for Generic Rapid Prototyping of Type Safe Interactive Applications -- A Functional Shell That Operates on Typed and Compiled Applications -- Declarative Debugging with Buddha -- Server-Side Web Programming in WASH -- Refactoring Functional Programs.
Ketersediaan
Tidak ada salinan data
Informasi Detil
Judul Seri |
-
|
---|---|
No. Panggil |
-
|
Penerbit | Springer : Berlin, Heidelberg., 2005 |
Deskripsi Fisik |
X, 362 p.online resource.
|
Bahasa |
English
|
ISBN/ISSN |
9783540318729
|
Klasifikasi |
005.11
|
Tipe Isi |
-
|
Tipe Media |
-
|
---|---|
Tipe Pembawa |
-
|
Edisi |
1st ed.
|
Subyek | |
Info Detil Spesifik |
-
|
Pernyataan Tanggungjawab |
Varmo Vene, Tarmo Uustalu.
|
Informasi Lainnya
Anak judul |
5th International School, AFP 2004, Tartu, Estonia, August 14-21, 2004, Revised Lectures
|
---|---|
Judul asli |
-
|
DOI/URL |
https://doi.org/10.1007/11546382
|
Versi lain/terkait
Tidak tersedia versi lain