44 citations · 59 across the 5 of their papers we have counts for
1 paper · 1 filter
Zheng Guo, Michael James, David Justo +4
We consider the problem of type-directed component based synthesis where, given a set of (typed) components and a query type, the goal is to synthesize a term that inhabits the que…