ICFP 2019 (series) / HIW 2019 (series) / HIW 2019 /
Status Update on the Helium for Haskell compiler
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).
Fri 23 AugDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Fri 23 Aug
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
13:30 - 15:00 | |||
13:30 23mTalk | Status Update on the Helium for Haskell compiler HIW Jurriaan Hage Utrecht University, Netherlands | ||
13:53 23mTalk | 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 24mTalk | 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 20mTalk | Lightning talks Slot #2 HIW |