T theory.stanford.edu Recursive Program Synthesis using Paramorphisms [pdf] 63 points luu 2 years ago 23 comments
