A Tutorial on Parallel and Concurrent Programming in Haskell

No abstract is available for this paper.

• Publication year

  2008

• Venue

  Advanced Functional Programming

• Publication date

  2008-05-19

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1007/978-3-642-04652-0_6
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Type checking with open type functions

  2008influential reference
• Partial Vectorisation of Haskell Programs

  2008cited by this paper
• Manticore: a heterogeneous parallel language

  2007cited by this paper
• Data parallel Haskell: a status report

  2007cited by this paper
• Higher order nested data parallelism: semantics and implementation

  2006cited by this paper
• Combining Measurement and Stochastic Modelling to Enhance Scheduling Decisions for a Parallel Mean Value Analysis Algorithm

  2006cited by this paper
• Higher Order Flattening

  2006cited by this paper
• Associated type synonyms

  2005influential reference
• Parallel and Distributed Haskells

  2002cited by this paper
• Costing Nested Array Codes

  2002cited by this paper
• Nepal - Nested Data Parallelism in Haskell

  2001cited by this paper
• Euro-Par 2001 Parallel Processing

  2001cited by this paper
• Euro-Par 2000 Parallel Processing

  2000cited by this paper
• More types for nested data parallel programming

  2000cited by this paper
• Transformation-based implementation of nested data parallelis for distributed memory machines

  1999cited by this paper
• Irregular computations in Fortran - expression and implementation strategies

  1999cited by this paper
• Programming parallel algorithms

  1996influential reference
• NESL: A Nested Data-Parallel Language

  1992cited by this paper
• Lazy task creation: a technique for increasing the granularity of parallel programs

  1990cited by this paper
• Compiling collection-oriented languages onto massively parallel computers

  1988cited by this paper
• A hierarchical O(N log N) force-calculation algorithm

  1986cited by this paper
• Under Consideration for Publication in J. Functional Programming the Genuine Sieve of Eratosthenes

  year unknowncited by this paper

• Abstractions to Control the Future

  2021cites this paper
• Sequential and Parallel Improvements in a Concurrent Functional Programming Language

  2018cites this paper
• Parallelization, Modeling, and Performance Prediction in the Multi-/Many Core Area: A Systematic Literature Review

  2017cites this paper
• Improvements for Concurrent Haskell with Futures ?

  2017cites this paper
• Electronic Communications of the EASST Volume 73 ( 2016 ) Graph Computation Models Selected Revised Papers from GCM 2015 Parallel Evaluation of Interaction Nets : Case Studies and Experiments

  2016cites this paper
• HASKEU: An editor to support visual and textual programming in tandem

  2016cites this paper
• Parallel Evaluation of Interaction Nets: Case Studies and Experiments

  2016cites this paper
• Designing a Tunable Nested Data-Parallel Programming System

  2016cites this paper
• Automatic Parallelization: A Review

  2016cites this paper
• Abstractions and Strategies for Adaptive Programming

  2016cites this paper
• Implementing Software Transactional Memory Using STM Haskell

  2015cites this paper
• Synthesizing imperative distributed-memory implementations from functional data-parallel programs

  2015influential citation
• Linear Logic and Coordination for Parallel Programming

  2015cites this paper
• Review of the Parallel Programming and its Challenges on the Multicore Processors

  2015cites this paper
• Development of an Algorithm for Extracting Parallelism and Pipeline Structure from Stream-based Processing flow with Spanning Tree

  2015cites this paper
• Implementation methodology for using concurrent and collaborative approaches for theorem provers, with case studies of SAT and LCF style provers

  2013cites this paper
• Parallel and Concurrent Programming in Haskell

  2013cites this paper
• Parallelizing DPLL in Haskell

  2013cites this paper
• Less Is More : Generic Programming Theory and Practice

  2012cites this paper
• Synthesizing Software from a ForSyDe Model Targeting GPGPUs

  2012cites this paper
• Conservative Concurrency in Haskell

  2012cites this paper
• Synthesising graphics card programs from DSLs

  2012cites this paper
• On the Benefits of Abstraction in Concurrent Haskell

  2012cites this paper
• An abstract machine for concurrent haskell with futures

  2012cites this paper
• A Comparison of Lock-based and Lock-free Taskpool Implementations in Haskell

  2011cites this paper
• On conservativity of concurrent Haskell

  2011influential citation
• A contextual semantics for concurrent Haskell with futures

  2011cites this paper
• International Conference on Computational Science , ICCS 2011 A Comparison of Lock-based and Lock-free Taskpool Implementations in Haskell

  2011cites this paper
• Designing an undergraduate curriculum based on parallelism and concurrency

  2011cites this paper
• Topics in structural operational semantics

  2009cites this paper
• An implementation and semantics for transactional memory introspection in Haskell

  2009cites this paper
• Harnessing the Multicores: Nested Data Parallelism in Haskell

  2008cites this paper