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
10m
Talk
Welcome!
TyDe
Richard A. EisenbergBryn Mawr College, USA, Niki VazouUniversity of Maryland, USA
08:55
20m
Talk
Extended Abstract: F# OpenCL Type Provider
TyDe
Kirill SmirenkoSaint Petersburg State University, Semyon GrigorevSaint-Petersburg State University, JetBrains Research
File Attached
09:15
20m
Talk
Extended Abstract: Comprehending Monoids with Class
TyDe
Media Attached File Attached
09:35
25m
Research paper
Authenticated Modular Maps in Haskell
TyDe
Victor Cacciari MiraldoUtrecht University, Netherlands, Harold CarrOracle Labs, USA, Alex KoganOracle Labs, USA, Mark MoirOracle Labs, New Zealand, Maurice HerlihyBrown University, USA
DOI