7:02

[HIW'23] Introduction

ACM SIGPLAN

1:22:01

[HIW'23] GHC status report

ACM SIGPLAN

28:45

[HIW'23] Integrating Liquid Haskell with GHC

ACM SIGPLAN

22:33

[HIW'23] Error Message Annotation Plugins for Haskell

ACM SIGPLAN

8:44

[HIW'23] An Algorithm Generator for Fixed-point Oriented Programming (Lightning Talk)

ACM SIGPLAN

9:18

[HIW'23] Advancements in info table profiling (Lightning Talk)

ACM SIGPLAN

24:19

[HIW'23] GHC Plugin for Setting Breakpoints

ACM SIGPLAN

16:53

[HIW'23] Building web apps with Haskell and IHP (Lightning Talk)

ACM SIGPLAN

12:11

[HIW'23] Deriving as a library (Lightning Talk)

ACM SIGPLAN

9:35

[HIW'23] MicroHaskell (Lightning Talk)

ACM SIGPLAN

14:38

[HIW'23] Using MMTk Garbage Collection in GHC (Lightning Talk)

ACM SIGPLAN

26:52

[HIW'23] Severing ties: the need for non-updateable thunks

ACM SIGPLAN

26:22

[HIW'23] ghc-specter: a GHC plugin that inspects the GHC state on live

ACM SIGPLAN

13:42

[HIW'23] Execution domains in GHC/Haskell (Lightning Talk)

ACM SIGPLAN

6:03

[HIW'23] Kudzu (Lightning Talk)

ACM SIGPLAN