Allyn Dimock

• Type- and flow-directed compilation for specialized data representations