Implementation of Functional Languages [electronic resource] :9th International Workshop, IFL'97 St. Andrews, Scotland, UK September 10–12, 1997 Selected Papers /
Contributor(s): Clack, Chris [editor.] | Hammond, Kevin [editor.] | Davie, Tony [editor.] | SpringerLink (Online service).Material type: BookSeries: Lecture Notes in Computer Science: 1467Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1998.Description: X, 382 p. online resource.Content type: text Media type: computer Carrier type: online resourceISBN: 9783540685289.Subject(s): Computer science | Computer programming | Programming languages (Electronic computers) | Computer logic | Computer Science | Programming Languages, Compilers, Interpreters | Programming Techniques | Logics and Meanings of ProgramsOnline resources: Click here to access online
C--: A portable assembly language -- The brisk machine: A simplified STG machine -- A Haskell to Java Virtual Machine code compiler -- Common subexpressions are uncommon in lazy functional languages -- With-loop-folding in Sac-condensing consecutive array operations -- Types for register allocation -- Types for 0, 1 or many uses -- Fully persistent graphs—which one to choose? -- Auburn: A kit for benchmarking functional data structures -- Complete and partial redex trails of functional computations -- Engineering large parallel functional programs -- Parallelising a large functional program or: Keeping LOLITA busy -- Naira: A parallel 2Haskell compiler -- Lazy thread and task creation in parallel graph-reduction -- DREAM: The distributed Eden abstract machine -- Using multicasting for optimising data-parallelism -- Using concurrent Haskell to develop views over an active repository -- Interactive functional objects in Clean -- Programming in the large: The algebraic-functional language Opal 2? -- Context patterns, part II -- A compacting garbage collector for unidirectional heaps.
This book constitutes the thoroughly refereed post-workshop proceedings of the 9th International Workshop on Implementation of Functional Languages, IFL'97, held in St. Andrews, Scotland, UK, in September 1997. The 21 revised full papers presented were selected from the 34 papers accepted for presentation at the workshop during a second round of thorough a-posteriori reviewing. The book is divided in sections on compilation, types, benchmarking and profiling, parallelism, interaction, language design, and garbage collection.