From high-level radio protocol specifications to efficient low-level implementations via partial evaluation.

Geoffrey Mainland, Siddhanathan Shanmugam

Browse the full ICFP paper archive.