Skip to content
Hallway
0:00 / 0:00

#programsynthesis#typeinference#oopsla

Digging for Fold: Synthesis-Aided API Discovery for Haskell

ACM SIGPLAN

11K subscribers • 61 videos on Hallway

YouTube
  • Recommended by 1 person: 1 in engineering communities.
  • Presented by Michael B. James, PhD Student at UCSD
  • Linked in the descriptionDOI 10.1145/3428273

Advanced. Deep dive for people who know the field.

468 views5 years ago1 recommendation

Programming languagesComputer scienceHaskellCompilers and interpreters

Michael B. James presents a synthesis-aided API discovery tool for Haskell that helps developers find library functions using type-directed search.

Hey y'all, it's @lambdalinguist, PhD Student at @ucsd_cse, my coauthors (@aaronguo069, @mistzzt, Shivani Doshi, @hilacodes, @RanjitJhala, @polikarn) and I are excited to present our OOPSLA '20 paper on synthesis-aided API discovery in Haskell (michaelbjames.com/files/digging-for-fold.pdf) Digging for Fold: Synthesis-Aided API Discovery for Haskell Paper DOI: doi.org/10.1145/3428273 Presented at OOPSLA, part of SPLASH 2020 By Michael B. James, Zheng Guo, Ziteng Wang, Shivani Doshi, Hila Peleg, Ranjit Jhala, Nadia Polikarpova

Why it's here

1 person recommends this

What people say. Recommended as an innovative approach to program synthesis and API discovery in Haskell.

u/ysangkokin r/haskell • Recommends

Digging for Fold: Synthesis-Aided API Discovery for Haskell
38View on Reddit