Demo: counterpoint by construction.

Youyou Cong, John Leo

Browse the full ICFP paper archive.