Blog posts
Extending destination-passing style programming to arbitrary data types in Linear HaskellMarch 07, 2024
A look under GHC's hood: desugaring linear typesJanuary 18, 2024
Linear Constraints: the problem with scopesMarch 23, 2023
Linear Constraints: the problem with O(1) freezeJanuary 26, 2023
Safe Sparkle: a resource-safe interface with linear typesNovember 17, 2021
Exploring linear Traversable using genericsJuly 08, 2021
linear-base makes writing Linear Haskell easy and funFebruary 10, 2021
Pure destination-passing style in Linear HaskellNovember 11, 2020
Qualified do: rebind your do-notation the right wayJuly 13, 2020
Linear types are merged in GHCJune 19, 2020
On linear types and exceptionsFebruary 19, 2020
Safe memory management in inline-java using linear typesFebruary 06, 2020
A Tale of Two Functors or: How I learned to Stop Worrying and Love Data and ControlJanuary 16, 2020
Streaming with linear typesJune 21, 2018
Implementing a safer sort with linear typesMarch 08, 2018
Making two garbage collectors be good neighbours (using linear types)November 29, 2017
Compact normal forms + linear types = efficient network communicationAugust 24, 2017
Encode state transitions in types using linear typesAugust 03, 2017
Linear types make performance more predictableMarch 13, 2017
