E 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 Detail

Judul Seri

-

No. Panggil

-

Penerbit

Berlin, Heidelberg : Springer., 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.

Subjek

Programming languages (Electronic computers).
Programming Languages, Compilers, Interpreters.
Software engineering.
Software Engineering/Programming and Operating Systems.
Computer programming.
Programming Techniques.

Info Detail Spesifik

-

Pernyataan Tanggungjawab

Varmo Vene, Tarmo Uustalu.

Versi lain/terkait

Lampiran Berkas

Komentar

---

Anda harus masuk sebelum memberikan komentar