Typing in Java, Kotlin and Scala by Hanneli Tavante and Breandan Considine