Implementation of functional languages : 10th International Workshop, IFL 98 London, UK, September 9 11, 1998 : selected papers

This book constitutes the thoroughly refereed post-workshop proceedings of the 10th International Workshop on the Implementation of Functional Languages, IFL'98, held in London, UK, in September 1998. The 15 revised full papers presented were carefully selected during two rounds of reviewing. T...

Celý popis

Uloženo v:
Podrobná bibliografie
Korporativní autor: International workshop on the implementation of functional languages :Londres
Další autoři: Hammond, Kevin, 1962- (Šéfredaktor, odpovědný redaktor), Davie, Antony J. T., 1939- (Šéfredaktor, odpovědný redaktor), Clack, Chris (Šéfredaktor, odpovědný redaktor)
Médium: Livre numérique
Jazyk:Anglais
Vydáno: Berlin [etc.] : Springer [20..].
Cham : Springer Nature
Edice:Lecture notes in computer science 1595
Témata:
On-line přístup:Accès sur la plateforme de l'éditeur
Accès sur la plateforme Istex
Accès Université d'Orléans
Accès INSA CVL
Poznámka: Archives Springer e-books (Licence nationale)
Archives Springer e-books (Licence nationale)
Autres localisations: Voir dans le Sudoc
Edition sous un autre format:• Implementation of functional languages, 10th International Workshop, IFL '98, London, UK, September 9-11, 1998, selected papers, Kevin Hammond, Tony Davie, Chris Clack (eds.), 1999, Berlin, Springer, 1 vol. (X-245 p.), Lecture notes in computer science, 3-540-66229-4
• Implementation of Functional Languages, Texte imprimé, 9783662188262
Obsah:
  • Performance Results for an Implementation of the Process Coordination Language K2
  • An Interactive Approach to Profiling Parallel Functional Programs
  • Shared Memory Multiprocessor Support for SAC
  • Towards an Operational Semantics for a Parallel Non-strict Functional Language
  • Concurrent Monadic Interfacing
  • A Strategic Profiler for Glasgow Parallel Haskell
  • Implementing Eden or: Dreams Become Reality
  • Efficient Combinator Parsers
  • On the Unification of Substitutions in Type Inference
  • Higher Order Demand Propagation
  • Dynamic Types and Type Dependent Functions
  • Putting the Spine Back in the Spineless Tagless G-Machine: An Implementation of Resumable Black-Holes
  • Towards a Haskell/Java Connection
  • A Case Study: Effects of With-Loop-Folding on the NAS Benchmark MG in Sac
  • Explicit Message Passing for Concurrent Clean.