Skip to content
Hallway
0:00 / 0:00

#programsynthesis#functionalprogramming

02 Opportunities for the next decade

ICFP Video

3.8K subscribers • 33 videos on Hallway

YouTube
  • Recommended by 1 person: 1 in engineering communities.

Advanced. Deep dive for people who know the field.

3.8K views11 years ago1 recommendation

Programming languagesComputer scienceLanguage design and type systemsComputation and complexity

An ICFP 2015 presentation exploring the challenges, techniques, and future opportunities in the field of program synthesis.

The uploader added no description.

Why it's here

1 person recommends this

What people say. Recommended as a key reference on the state and future of program synthesis.

u/mttdin r/ProgrammingLanguages • Recommends

On “Tandoph: A compiler synthesizer for simple languages”

…itbucket.io/papers/program_synthesis_now.pdf - https://www.microsoft.com/en-us/research/publication/program-synthesis/ + Topics in Programming Languages: Program Synthesis (lots of great references!) - https://www.classes.cs.uchicago.edu/archive/2016/spring/32001-1/ + Type-Driven Program Synthesis - Strange Loop 2018; Nadia Polikarpova - link to this video + Program Synthesis: Opportunities for the Next Decade - ICFP 2015 - link to this video * Compilation, Optimization + Bridging the Gap Between General-Purpose and Domain-Specific Compilers with Synthesis - 1st Summit on Advances in Programming Languages (SNAPL 2015) - http://drops.dagstuhl.de/opus/volltexte/2015/5016/ + Future Directions f…
10View on Reddit