Detail Cantuman
Pencarian SpesifikE 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 |
edited by Phil Trinder, Greg Michaelson, Ricardo Pena.
|
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