aboutsummaryrefslogtreecommitdiff
path: root/documentation/bookmark/program_synthesis.md
blob: 7add409b732b567077186c109c51a019d9e2cfa6 (plain)
1
2
3
4
5
# Reference

0. []()
0. [Type-Directed Program Synthesis for RESTful APIs](https://arxiv.org/abs/2203.16697)