Oregon Programming Languages Summer School, 2018
Parallelism and Concurrency
July 3-21, 2018
University of Oregon
https://www.cs.uoregon.edu/research/summerschool/summer18/
Title: Purely Functional Array Programming [1/3]
Speaker: Gabrielle Keller, University of New South Wales
Date: Thursday, 12 July 2018, Session 3
Topics: Haskell ; functional programming ; array programming ; Data Parallel Haskell ; domain-specific languages ; embedded domain-specific languages ; Accelerate language ; shallow vs. deep embedding ; abstract syntax trees ; generalized and parameterised algebraic data types ; correctness proofs for free ; list functions: zipWith, foldl, foldr ; boxed vs. unboxed values ; dot product in Accelerate ; Haskell type classes ; running Accelerate programs ; Accelerate expressions ; expressions as algebraic data types ; ad-hoc polymorphism for expressions ; array shapes ; shape polymorphism
© 2018, University of Oregon
