Generalizable Synthesis Through Unification

OOPSLA'21: Object Oriented Programming Languages, Systems and Applications · 2021年10月

阅读全文查看 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}
}