A graph-based higher-order intermediate representation | IEEE Conference Publication | IEEE Xplore