Write a Blog >>
ICFP 2019
Sun 18 - Fri 23 August 2019 Berlin, Germany
Fri 23 Aug 2019 13:30 - 13:53 at Elk - Compilers Chair(s): Jose Calderon

The Helium compiler project was started in the early 00s as a light-weight compiler for Haskell, with a focus on understandable type error messages for beginning programmers.

Having been dormant for a number of years, we shall be discussing recent progress we made in supporting the Haskell 2010 standard. The major changes, that will be part of the next release of Helium, are the ability to define your own type classes and instances, and standard-compliant importing and exporting.

In addition, I shall be reporting on research recently done on type error diagnosis within Helium, and describe our plans for the coming year(s).

Url: https://github.com/Helium4Haskell/

Fri 23 Aug

13:30 - 15:00: HIW 2019 - Compilers at Elk
Chair(s): Jose CalderonGalois, Inc.
hiw-2019-papers13:30 - 13:53
Jurriaan HageUtrecht University, Netherlands
hiw-2019-papers13:53 - 14:16
Ryan R. NewtonIndiana University, Michael VollmerIndiana University, USA, Chaitanya KoparkarIndiana University
hiw-2019-papers14:16 - 14:40
Frank DeddenRoyal Netherlands Aerospace Center, Alwyn GoodloeNASA Langley Research Center, Ivan PerezNIA / NASA Formal Methods
hiw-2019-papers14:40 - 15:00