GitHub repository: modular-implicits/staged-generic-programming
Description: Code for "Staged Generic Programming" (ICFP 2017)