Programmable semantic fragments: the design and implementation of typy.

Cyrus Omar, Jonathan Aldrich

Browse the full GPCE paper archive.