Muutke küpsiste eelistusi

Functional Programming, Glasgow 1994: Proceedings of the 1994 Glasgow Workshop on Functional Programming, Ayr, Scotland, 1214 September 1994 [Pehme köide]

Edited by , Edited by , Edited by
  • Formaat: Paperback / softback, 254 pages, kõrgus x laius: 235x155 mm, kaal: 425 g, XIV, 254 p., 1 Paperback / softback
  • Sari: Workshops in Computing
  • Ilmumisaeg: 21-Mar-1995
  • Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
  • ISBN-10: 3540199144
  • ISBN-13: 9783540199144
  • Pehme köide
  • Hind: 95,02 €*
  • * hind on lõplik, st. muud allahindlused enam ei rakendu
  • Tavahind: 111,79 €
  • Säästad 15%
  • Raamatu kohalejõudmiseks kirjastusest kulub orienteeruvalt 2-4 nädalat
  • Kogus:
  • Lisa ostukorvi
  • Tasuta tarne
  • Tellimisaeg 2-4 nädalat
  • Lisa soovinimekirja
  • Formaat: Paperback / softback, 254 pages, kõrgus x laius: 235x155 mm, kaal: 425 g, XIV, 254 p., 1 Paperback / softback
  • Sari: Workshops in Computing
  • Ilmumisaeg: 21-Mar-1995
  • Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
  • ISBN-10: 3540199144
  • ISBN-13: 9783540199144
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.