From high-level radio protocol specifications to efficient low-level implementations via partial evaluation. - Geoffrey Mainland; Siddhanathan Shanmugam (FHPC@ICFP, 2017)