Ditapis dengan

  • Tahun Penerbitan
    To
  • Ketersediaan
  • Lampiran
  • Tipe Koleksi
    Lihat Lebih Banyak
  • Format Fisik Dokumen
    Lihat Lebih Banyak
  • Lokasi
    Lihat Lebih Banyak
  • Bahasa
    Lihat Lebih Banyak
Ditemukan 2 dari pencarian Anda melalui kata kunci: author="Trinder, Phil."
cover
Implementation of Functional Languages
Komentar Bagikan
Michaelson, Greg.Pena, Ricardo.SpringerLink (Online service)Trinder, Phil.

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 Program…

Edisi
1st ed. 2005.
ISBN/ISSN
9783540278610
Deskripsi Fisik
X, 190 p.online resource.
Judul Seri
-
No. Panggil
-
cover
Implementation and Application of Functional Languages
Komentar Bagikan
Grelck, Clemens.Huch, Frank.Michaelson, Greg.SpringerLink (Online service)Trinder, Phil.

Exploiting Single-Assignment Properties to Optimize Message-Passing Programs by Code Transformations -- The Feasibility of Interactively Probing Quiescent Properties of GUI Applications -- A Functional Programming Technique for Forms in Graphical User Interfaces -- A Rational Deconstruction of Landin’s SECD Machine -- Explaining ML Type Errors by Data Flows -- V?M: A Virtual Machine for Stric…

Edisi
1st ed. 2005.
ISBN/ISSN
9783540320388
Deskripsi Fisik
X, 230 p.online resource.
Judul Seri
-
No. Panggil
-