A unified category-theoretic formulation of typed binding signatures.

Miki Tanaka, John Power

Browse the full ICFP paper archive.