Embedding by Unembedding
Article in Proceedings of the ACM on Programming Languages (August 2023)
The most recent citing publications are shown below. View all 214 publications that cite this research output on Dimensions.
Article in Proceedings of the ACM on Programming Languages (August 2023)
Article in Theory and Practice of Logic Programming (November 2021)
Article in Annals of Mathematics and Artificial Intelligence (September 2021)