Confluences in Programming Languages Research