Implementation of functional languages : 10th International Workshop, IFL'98 London, UK, September 9-11, 1998 : selected papers / / Kevin Hammond, Tony Davie, Chris Clark, editors |
Edizione | [1st ed. 1999.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer, , [1999] |
Descrizione fisica | 1 online resource (X, 254 p.) |
Disciplina | 005.13 |
Collana | Lecture Notes in Computer Science |
Soggetto topico | Functional programming languages |
ISBN | 3-540-48515-5 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | 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. |
Record Nr. | UNISA-996465650503316 |
Berlin, Heidelberg : , : Springer, , [1999] | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Implementation of functional languages : 10th International Workshop, IFL'98 London, UK, September 9-11, 1998 : selected papers / / Kevin Hammond, Tony Davie, Chris Clark, editors |
Edizione | [1st ed. 1999.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer, , [1999] |
Descrizione fisica | 1 online resource (X, 254 p.) |
Disciplina | 005.13 |
Collana | Lecture Notes in Computer Science |
Soggetto topico | Functional programming languages |
ISBN | 3-540-48515-5 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | 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. |
Record Nr. | UNINA-9910143647103321 |
Berlin, Heidelberg : , : Springer, , [1999] | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|