Werner E. Kluge
Selected Papers of the Eighth International Workshop on Implementation of Functional Languages
IFL, 1996.
@proceedings{IFL-1996, address = "Bad Godesberg, Germany", editor = "Werner E. Kluge", isbn = "3-540-63237-9", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{Selected Papers of the Eighth International Workshop on Implementation of Functional Languages}", volume = 1268, year = 1996, }
Contents (15 items)
- IFL-1996-BraineC #functional #object-oriented
- Introducing CLOVER: An Object-Oriented Functional Language (LB, CC), pp. 1–20.
- IFL-1996-Erwig
- Active Patterns (ME), pp. 21–40.
- IFL-1996-Mohnen #haskell
- Context Patterns in Haskell (MM), pp. 41–57.
- IFL-1996-BoquistJ #functional #lazy evaluation #optimisation
- The GRIN Project: A Highly Optimising Back End for Lazy Functional Languages (UB, TJ), pp. 58–84.
- IFL-1996-Scholz #array #functional #on the #programming
- On Programming Scientific Applications in SAC — A Functional Language Extended by a Subsystem for High-Level Array Operations (SBS), pp. 85–104.
- IFL-1996-Groningen #array #implementation #performance
- The Implementation and Efficiency of Arrays in Clean 1.1 (JHGvG), pp. 105–124.
- IFL-1996-Serrarens #algorithm #functional #implementation
- Implementing the Conjugate Gradient Algorithm in a Functional Language (PRS), pp. 125–140.
- IFL-1996-BreitingerKL #concurrent #haskell #implementation
- An Implementation of Eden on Top of Concurrent Haskell (SB, UK, RL), pp. 141–161.
- IFL-1996-Assmann #coordination #functional #petri net #process #using
- Coordinating Functional Processes Using Petri Nets (CA), pp. 162–183.
- IFL-1996-LoidlH #communication #effectiveness #graph #parallel #reduction
- Making a Packet: Cost-Effective Communication for a Parallel Graph Reducer (HWL, KH), pp. 184–199.
- IFL-1996-JarvisM #functional #lazy evaluation #profiling #scalability #source code
- The Results of: Profiling Large-Scale Lazy Functional Programs (SAJ, RGM), pp. 200–221.
- IFL-1996-RuncimanR #matter #profiling
- Two-Pass Heap Profiling: A Matter of Life and Death (CR, NR), pp. 222–232.
- IFL-1996-Pil
- First Class File I/O (MP), pp. 233–246.
- IFL-1996-DebbabiFT #algorithm #analysis #concurrent #control flow #higher-order #source code #type system
- A Type-Based Algorithm for the Control-Flow Analysis of Higher-Order Concurrent Programs (MD, AF, NT), pp. 247–266.
- IFL-1996-DoschM #functional
- Calculating a Functional Module for Binary Search Trees (WD, BM), pp. 267–284.
7 ×#functional
3 ×#implementation
2 ×#algorithm
2 ×#array
2 ×#concurrent
2 ×#haskell
2 ×#lazy evaluation
2 ×#profiling
2 ×#source code
3 ×#implementation
2 ×#algorithm
2 ×#array
2 ×#concurrent
2 ×#haskell
2 ×#lazy evaluation
2 ×#profiling
2 ×#source code