Blog posts
Safe Sparkle: a resource-safe interface with linear typesNovember 17, 2021
How to build hybrid Haskell and Java programsMarch 25, 2021
Calling to the JVM from Haskell: Some benchmarksJune 11, 2020
Safe memory management in inline-java using linear typesFebruary 06, 2020
Making two garbage collectors be good neighbours (using linear types)November 29, 2017
GHC compiler plugins in the wild: typing JavaSeptember 22, 2017
Java from Haskell: a tutorialSeptember 15, 2017
A new ecosystem for Haskell: the JVMOctober 17, 2016
