I recently visited the PL group at Cornell to give a talk about our formal model and implementation of generics in Swift. While the talk was not recorded, the slides are available online: https://pl.cs.cornell.edu/pldg/slava-pestov.pdf. The talk was meant for a mathematically-inclined audience unfamiliar with Swift, and the slides might be hard...