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

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

13:30 - 15:00
CompilersHIW at Elk
Chair(s): Jose Calderon Galois, Inc.
13:30
23m
Talk
Status Update on the Helium for Haskell compiler
HIW
Jurriaan Hage Utrecht University, Netherlands
13:53
23m
Talk
The Gibbon Compiler: Accelerating a small subset of Haskell
HIW
Ryan R. Newton Indiana University, Michael Vollmer Indiana University, USA, Chaitanya S. Koparkar Indiana University
14:16
24m
Talk
Copilot 3.0: a Haskell runtime verification framework for UAVs
HIW
Frank Dedden Royal Netherlands Aerospace Center, Alwyn Goodloe NASA Langley Research Center, Ivan Perez NIA / NASA Formal Methods
14:40
20m
Talk
Lightning talks Slot #2
HIW