Demos (Haskell 2022)

Sun 11 - Fri 16 September 2022 Ljubljana, Slovenia

Who

Matthías Páll Gissurarson, Makoto Hamana, David Thrane Christiansen, Jesper Cockx, Lisa Vasilenko, Orestis Melkonian

Track

Haskell 2022

Time Zone

The program is currently displayed in (GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague.

Use conference time zone: (GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, PragueSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

When

Fri 16 Sep 2022 16:00 - 17:30 at Kosovel - Demos + Discussions Chair(s): Nadia Polikarpova

Abstract

In this session, symposium attendees are invited to give short demos of Haskell-related tools or suggest topics for small-group discussions. Please suggest demos / discussion topics here.

Current schedule:

Hectare GHC plugin - Matthías Páll Gissurarson
PropR: Automatic Program Repair for Haskell - Matthías Páll Gissurarson
GSOL: A rewrite rule checker for GHC - Makoto Hamana
Contributing to The Haskell Error Message Index - David Thrane Christiansen
Agda2Hs: Reasonable Agda is Verified Haskell - Jesper Cockx
PackageRank: Hackage fearure - Ondřej Kubánek
setup-agda: a Github CI tool for Agda - Orestis Melkonian
rewrite-inspector - Orestis Melkonian
How to use Liquid Haskell every day - Lisa Vasilenko

Matthías Páll Gissurarson

Chalmers University of Technology, Sweden

Sweden

Makoto Hamana

Gunma University, Japan

Japan

David Thrane Christiansen

The Haskell Foundation

Denmark

Jesper Cockx

TU Delft

Netherlands

Lisa Vasilenko

IMDEA Software Institute

Spain

Orestis Melkonian

University of Edinburgh

United Kingdom