TY - BOOK AU - Clack,Chris AU - Hammond,Kevin AU - Davie,Tony ED - SpringerLink (Online service) TI - Implementation of Functional Languages: 9th International Workshop, IFL'97 St. Andrews, Scotland, UK September 10–12, 1997 Selected Papers T2 - Lecture Notes in Computer Science, SN - 9783540685289 AV - QA76.7-76.73 U1 - 005.13 23 PY - 1998/// CY - Berlin, Heidelberg PB - Springer Berlin Heidelberg KW - Computer science KW - Logic design KW - Computer Science KW - Programming Languages, Compilers, Interpreters KW - Programming Techniques KW - Logics and Meanings of Programs N1 - 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 N2 - 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 UR - http://dx.doi.org/10.1007/BFb0055420 ER -