Hacker News new | ask | show | jobs
Type Directed Synthesis for RESTful APIs (arxiv.org)
2 points by gkuan 1490 days ago