Yorgo Chamoun

内部のパラメトリシティを型理論に統合する新しいアプローチで、信頼性が向上した。