Program synthesis by type-guided abstraction refinement
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Zheng Guo, Michael James, David Justo, Jiaxiao Zhou, Ziteng Wang, Ranjit Jhala, Nadia Polikarpova
Program synthesis by type-guided abstraction refinement
POPL, 2020.

POPL 2020
Full names Links ISxN
	author        = "Zheng Guo and Michael James and David Justo and Jiaxiao Zhou and Ziteng Wang and Ranjit Jhala and Nadia Polikarpova",
	doi           = "10.1145/3371080",
	journal       = "{Proceedings of the ACM on Programming Languages}",
	number        = "POPL",
	pages         = "28",
	publisher     = "{ACM}",
	title         = "{Program synthesis by type-guided abstraction refinement}",
	volume        = 4,
	year          = 2020,


Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.