# Fully abstract compilation via universal embedding

> Research article (Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, 2016) · cited 62× · AI/ML

**Wikidata**: [openalex:W2514838807](https://www.wikidata.org/wiki/openalex:W2514838807)  
**Source**: https://4ort.xyz/entity/fully-abstract-compilation-via-universal-embedding