@inproceedings{new_bowman_ahmed_2016,
 title = {Fully Abstract Compilation via Universal Embedding},
 author = {New, Max S. and Bowman, William J. and Ahmed, Amal},
 year = {2016},
 url = {http://dl.acm.org/citation.cfm?id=2951941},
 booktitle = {Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, ICFP 2016},
 publisher = {ACM}
}