Write a Blog >>
ICFP 2020
Thu 20 - Fri 28 August 2020
ICFP 2020 (series) / HIW 2020 (series) / HIW 2020 /

Exactprint in GHC

HIW 2020
Fri 28 Aug 2020 12:30 - 12:52 at HIW - Session 3

The library ghc-exactprint makes use of API Annotations added some time ago to the ParsedSource. Now that TTG is in place, we can move the annotations directly into the ParsedSource, simplifying the exact printer and making it easier to confirm correctness while developing.

The talk will present work in progress on this activity, together with an overview of the proposed approach to be taken.

Fri 28 Aug

Displayed time zone: Eastern Time (US & Canada) change

12:30 - 13:30
Session 3HIW at HIW
12:30
22m
Talk
Exactprint in GHC
HIW
Alan Zimmerman
12:52
22m
Talk
Liquid Haskell as a GHC Plugin
HIW
Alfredo Di Napoli Well-Typed LLP, Ranjit Jhala University of California at San Diego, USA, Andres Löh Well-Typed LLP, Niki Vazou IMDEA Software Institute
13:14
22m
Talk
Stan — Haskell Static Analyser
HIW
Dmitrii Kovanikov Standard Chartered, Veronika Romashkina None

Alan Zimmerman