Write a Blog >>
ICFP 2018
Sun 23 - Sat 29 September 2018 St. Louis, Missouri, United States
Thu 27 Sep 2018 08:55 - 09:15 at New York Central - Applications and Monoids Chair(s): Daan Leijen

The popularity of GPGPU usage in applied software is growing but GPGPU utilization in high-level programming languages is still challenging. We present the OpenCL type provider: a way to use existing OpenCL C source code in F# in a strongly typed way.

Extended Abstract: F# OpenCL Type Provider (Extended Abstract_F# OpenCL Type Provider.pdf)403KiB

Thu 27 Sep
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

08:45 - 10:00: Applications and MonoidsTyDe at New York Central
Chair(s): Daan LeijenMicrosoft Research, USA
08:45 - 08:55
Richard A. EisenbergBryn Mawr College, USA, Niki VazouUniversity of Maryland, USA
08:55 - 09:15
Extended Abstract: F# OpenCL Type Provider
Kirill SmirenkoSaint Petersburg State University, Semyon GrigorevSaint-Petersburg State University, JetBrains Research
File Attached
09:15 - 09:35
Extended Abstract: Comprehending Monoids with Class
Media Attached File Attached
09:35 - 10:00
Research paper
Authenticated Modular Maps in Haskell
Victor Cacciari MiraldoUtrecht University, Netherlands, Harold CarrOracle Labs, USA, Alex KoganOracle Labs, USA, Mark MoirOracle Labs, New Zealand, Maurice HerlihyBrown University, USA