Write a Blog >>
ICFP 2018
Sun 23 - Sat 29 September 2018 St. Louis, Missouri, United States
Sun 23 Sep 2018 14:20 - 14:45 at Illinois Central - Types Chair(s): Niki Vazou

As the linear type proposal is underway, and the specifics of how linear types should be exposed in Haskell are being debated, you may wonder: but how is it implemented? Is it easy? Is it hard? Is it small? Is it big? As a GHC developer what would it change for me in practice?

This talk will describe our implementation in progress of the linear type feature. How we changed the linear arrow constructor, how type checking is performed, what changes are necessary in Core to account for linearity, etc…

Sun 23 Sep

hiw-2018-papers
13:30 - 15:10: HIW 2018 - Types at Illinois Central
Chair(s): Niki VazouUniversity of Maryland, USA
hiw-2018-papers13:30 - 13:55
Talk
Ningning XieThe University of Hong Kong, Richard A. EisenbergBryn Mawr College, USA
Link to publication File Attached
hiw-2018-papers13:55 - 14:20
Talk
My NguyenBryn Mawr College
File Attached
hiw-2018-papers14:20 - 14:45
Talk
Matthew PickeringUniversity of Bristol, Arnaud SpiwackTweag I/O
Media Attached
hiw-2018-papers14:45 - 14:53
Talk
Link to publication File Attached
hiw-2018-papers14:53 - 15:01
Talk
Shao ChengTweag I/O
Media Attached
hiw-2018-papers15:01 - 15:10
Talk