Generalizable Synthesis Through Unification

Ruyi Ji, Jingtao Xia, Yingfei Xiong^*, Zhenjiang Hu

OOPSLA'21: Object Oriented Programming Languages, Systems and Applications · October 2021

Read paper View BibTeX

BibTeX

@inproceedings{OOPSLA21,
  author = {Ruyi Ji and Jingtao Xia and Yingfei Xiong and Zhenjiang Hu},
  title = {Generalizable Synthesis Through Unification},
  year = {2021},
  month = {10},
  booktitle = {OOPSLA'21: Object Oriented Programming Languages, Systems and Applications},
  site_corr = {3}
}