Write a Blog >>
ICFP 2018
Sun 23 - Sat 29 September 2018 St. Louis, Missouri, United States
Tue 25 Sep 2018 10:52 - 11:15 at Stifel Theatre - Compilation and Concurrency Chair(s): Heather Miller

We present a higher-order module system for the purely functional data-parallel array language Futhark. The module language has the property that it is completely eliminated at compile time, yet it serves as a powerful tool for organizing libraries and complete programs. The presentation includes a static and a dynamic semantics for the language in terms of, respectively, a static type system and a provably terminating elaboration of terms into terms of an underlying target language. The development is formalized in Coq using a novel encoding of semantic objects based on products, sets, and finite maps. The module language features a unified treatment of module type abstraction and core language polymorphism and is rich enough for expressing practical forms of module composition.

Tue 25 Sep

10:30 - 12:00: Research Papers - Compilation and Concurrency at Stifel Theatre
Chair(s): Heather MillerCarnegie Mellon University
icfp-2018-papers10:30 - 10:52
Stefan K. Muller, Umut AcarCarnegie Mellon University, Robert Harper
icfp-2018-papers10:52 - 11:15
Martin ElsmanUniversity of Copenhagen, Denmark, Troels HenriksenUniversity of Copenhagen, Denmark, Danil AnnenkovDepartment of Computer Science, University of Copenhagen, Cosmin OanceaUniversity of Copenhagen, Denmark
Link to publication DOI
icfp-2018-papers11:15 - 11:37
Atsushi OhoriTohoku University, Japan, Katsuhiro UenoTohoku University, Hisayuki MimaTohoku University
icfp-2018-papers11:37 - 12:00
Ivan PerezNational Institute of Aerospace, USA