Muutke küpsiste eelistusi

E-raamat: Functional Programming, Glasgow 1994: Proceedings of the 1994 Glasgow Workshop on Functional Programming, Ayr, Scotland, 12-14 September 1994

Edited by , Edited by , Edited by
  • Formaat: PDF+DRM
  • Sari: Workshops in Computing
  • Ilmumisaeg: 09-Mar-2013
  • Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
  • Keel: eng
  • ISBN-13: 9781447135739
  • Formaat - PDF+DRM
  • Hind: 110,53 €*
  • * hind on lõplik, st. muud allahindlused enam ei rakendu
  • Lisa ostukorvi
  • Lisa soovinimekirja
  • See e-raamat on mõeldud ainult isiklikuks kasutamiseks. E-raamatuid ei saa tagastada.
  • Formaat: PDF+DRM
  • Sari: Workshops in Computing
  • Ilmumisaeg: 09-Mar-2013
  • Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
  • Keel: eng
  • ISBN-13: 9781447135739

DRM piirangud

  • Kopeerimine (copy/paste):

    ei ole lubatud

  • Printimine:

    ei ole lubatud

  • Kasutamine:

    Digitaalõiguste kaitse (DRM)
    Kirjastus on väljastanud selle e-raamatu krüpteeritud kujul, mis tähendab, et selle lugemiseks peate installeerima spetsiaalse tarkvara. Samuti peate looma endale  Adobe ID Rohkem infot siin. E-raamatut saab lugeda 1 kasutaja ning alla laadida kuni 6'de seadmesse (kõik autoriseeritud sama Adobe ID-ga).

    Vajalik tarkvara
    Mobiilsetes seadmetes (telefon või tahvelarvuti) lugemiseks peate installeerima selle tasuta rakenduse: PocketBook Reader (iOS / Android)

    PC või Mac seadmes lugemiseks peate installima Adobe Digital Editionsi (Seeon tasuta rakendus spetsiaalselt e-raamatute lugemiseks. Seda ei tohi segamini ajada Adober Reader'iga, mis tõenäoliselt on juba teie arvutisse installeeritud )

    Seda e-raamatut ei saa lugeda Amazon Kindle's. 

This is the proceedings of the seventh annual workshop held by the Glasgow Functional Programming Group. The purpose of the workshop is to provide a focus for new research, to foster research contacts with other functional language researchers, and to provide a platform for research students to develop their presentation skills. As in previous years, we spent three days closeted together in a pleasant seaside town, isolated from normal work commitments. We were joined by colleagues from other universities (both UK and abroad) and from industry. Workshop participants presented a short talk about their current research work, and produced a paper which appeared in a draft proceedings. These papers were then reviewed and revised in the light of discussions at the workshop and the referees' comments. A selection of those revised papers (the majority of those presented at the workshop) appears here in the published proceedings. The papers themselves cover a wide span, from theoretical work on algebras and bisimilarity to experience with a real-world medical applica­ tion. Unsurprisingly, given Glasgow's track record, there is a strong emphasis on compilation techniques and optimisations, and there are also several papers on concurrency and parallelism.

Muu info

Springer Book Archives
Expression Refinement: Deriving Bresenhams Algorithm.- Dynamic Algebra
for Calculating Algorithms.- On the Expressive Power of Constructor Classes.-
Programming Reactive Systems in Haskell.- Techniques for Simplifying the
Visualization of Graph Reduction.- A Tutorial on Co-Induction and Functional
Programming.- Unboxing Using Specialisation.- Improving Granularity in
Parallel Functional Programs: A Graphical Winnowing System for Haskell.-
Fold-Unfold Transformations on State Monadic Interpreters.- Functional
Binomial Queues.- Mechanized Reasoning About Functional Programs.- A Case
Study in Parallel Program Derivation: The Heat Equation Algorithm.-
Compilation by Transformation in the Glasgow Haskell Compiler.- Experience of
Developing a Cervical Cytology Scanning System Using Gofer and Haskell.-
Binding-Time Improvement and Fold-Unfold Transformation.- Data Dependent
Concurrency Control.- Type-Checked Message-Passing Between Functional
Processes.- Author Index.