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 Detail

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.

Subjek

Programming languages (Electronic computers).
Programming Languages, Compilers, Interpreters.
Computer programming.
Programming Techniques.
Computer science.
Computer logic.
Logics and Meanings of Programs.
Computer Science, general.

Info Detail Spesifik

-

Pernyataan Tanggungjawab

edited by Phil Trinder, Greg Michaelson, Ricardo Pena.

Versi lain/terkait

Lampiran Berkas

Komentar

---

Anda harus masuk sebelum memberikan komentar