17 November 2021
Safe Sparkle: a resource-safe interface with linear types
On design choices to build a resource-safe interface for Sparkle using linear types
inline-java
25 March 2021
How to build hybrid Haskell and Java programs
Discussion on using Bazel with inline-java
11 June 2020
Calling to the JVM from Haskell: Some benchmarks
Benchmarks of inline-java and a discussion of its performance trade-offs.
6 February 2020
Safe memory management in inline-java using linear types
In this post about inline-java I aim to walk you through the upcoming safe interface of the library, which allows detecting memory management mistakes at compile time using linear types.
29 November 2017
Making two garbage collectors be good neighbours (using linear types)
22 September 2017
GHC compiler plugins in the wild: typing Java
15 September 2017
Java from Haskell: a tutorial
17 October 2016