TE
TechEcho
Home24h TopNewestBestAskShowJobs
GitHubTwitter
Home

TechEcho

A tech news platform built with Next.js, providing global tech news and discussions.

GitHubTwitter

Home

HomeNewestBestAskShowJobs

Resources

HackerNews APIOriginal HackerNewsNext.js

© 2025 TechEcho. All rights reserved.

Recursive Program Synthesis using Paramorphisms [pdf]

63 pointsby luu11 months ago

2 comments

fbriggs10 months ago
Here&#x27;s my paper on recursive program synthesis using combinator expressions from 2006:<p><a href="https:&#x2F;&#x2F;www.cs.hmc.edu&#x2F;~oneill&#x2F;papers&#x2F;Combinators-ASPGP.pdf" rel="nofollow">https:&#x2F;&#x2F;www.cs.hmc.edu&#x2F;~oneill&#x2F;papers&#x2F;Combinators-ASPGP.pdf</a>
评论 #40949954 未加载
almostgotcaught10 months ago
Academia is about figuring out progressively fancier and fancier sounding names for the same mundane things.
评论 #40949005 未加载