JErlang: Erlang with Joins. - Hubert Plociniczak; Susan Eisenbach (COORDINATION, 2010)

Scalad: an interactive type-level debugger. - Hubert Plociniczak (SCALA@ECOOP, 2013)

Decrypting Local Type Inference. - Hubert Plociniczak (2016)