luau/papers/hatra21/hatra21.pdf