E Book

Implementation of Functional Languages



Implementation of Functional Languages -- Lazy Assertions -- Interfacing Haskell with Object-Oriented Languages -- A Functional Shell That Dynamically Combines Compiled Code -- Polymorphic Type Reconstruction Using Type Equations -- Correctness of Non-determinism Analyses in a Parallel-Functional Language -- Inferring Cost Equations for Recursive, Polymorphic and Higher-Order Functional Programs -- Dynamic Chunking in Eden -- With-Loop Scalarization – Merging Nested Array Operations -- Building an Interface Between Eden and Maple: A Way of Parallelizing Computer Algebra Algorithms -- Generic Graphical User Interfaces -- Polytypic Programming in Haskell.


Ketersediaan

Tidak ada salinan data


Informasi Detil

Judul Seri
-
No. Panggil
-
Penerbit : .,
Deskripsi Fisik
X, 190 p.online resource.
Bahasa
English
ISBN/ISSN
9783540278610
Klasifikasi
005.11
Tipe Isi
-
Tipe Media
-
Tipe Pembawa
-
Edisi
1st ed. 2005.
Subyek
Info Detil Spesifik
-
Pernyataan Tanggungjawab

Informasi Lainnya

Anak judul
15th International Workshop, IFL 2003, Edinburgh, UK, September 8-11, 2003. Revised Papers
Judul asli
-
DOI/URL
https://doi.org/10.1007/b102274

Versi lain/terkait

Tidak tersedia versi lain




Informasi


DETAIL CANTUMAN


Kembali ke sebelumnyaDetail XMLCite this