TL;DR
Go のジェネリクスの設計を示し、形式化した 2020 年の論文。Robert Griesemer、Ian Lance Taylor、Philip Wadler らが著者に名を連ねている。
仕組み
Igarashi、Pierce、Wadler による Featherweight Java の研究にならい、Go のジェネリクスの設計を記述している。
We describe a design for generics in Go inspired by previous work on Featherweight Java by Igarashi, Pierce, and Wadler.
論文の概要によると、Java の公称的部分型と Go の構造的部分型、Java のイレイジャによるジェネリクスと Go の単相化（monomorphisation）を対比している。単相化を形式化した最初期の研究の一つであり、この設計が Expression Problem の解決に役立つとも論じている。