@article{Omar_2016, title={Programmable semantic fragments: the design and implementation of typy}, volume={52}, ISSN={1558-1160}, url={http://dx.doi.org/10.1145/3093335.2993245}, DOI={10.1145/3093335.2993245}, number={3}, journal={ACM SIGPLAN Notices}, publisher={Association for Computing Machinery (ACM)}, author={Omar, Cyrus and Aldrich, Jonathan}, year={2016}, month=Oct, pages={81–92} }