Hacker News new | past | comments | ask | show | jobs | submit | from login
Synthesizing small programs for big impact – most influential paper (POPL 2020) (sigplan.org)
2 points by saurabh20n 23 hours ago | past | discuss
International Conference on Functional Programming (ICFP) 2020 – Research Papers (sigplan.org)
35 points by matt_d 8 days ago | past | 1 comment
Increasing the Impact of Programming Languages Research (sigplan.org)
2 points by matt_d 15 days ago | past
HOPL (History of Programming Languages): Not an Ordinary Conference (sigplan.org)
5 points by matt_d 49 days ago | past
International Conference on Functional Programming (ICFP) 2020 – Accepted Papers (sigplan.org)
4 points by matt_d 52 days ago | past
Verified Programming of Turing Machines in Coq (2020) (sigplan.org)
2 points by maxsun 59 days ago | past | 1 comment
Programming Language Design and Implementation (PLDI) 2020 Proceedings (sigplan.org)
13 points by matt_d 60 days ago | past
C++ is now the only language to appear in three HOPLs (sigplan.org)
2 points by pjmlp 63 days ago | past
PLDI 2020 (sigplan.org)
2 points by todsacerdoti 72 days ago | past
Virtual Conference on Programming Language Design and Implementation (PLDI) 2020 (sigplan.org)
2 points by matt_d 73 days ago | past
From Programs to Deep Models – Part 3: Code Completion (sigplan.org)
1 point by matt_d 3 months ago | past
People of Programming Languages (sigplan.org)
2 points by lelf 3 months ago | past
What Is a Sustainable Path to Open Access? (sigplan.org)
32 points by lelf 3 months ago | past | 7 comments
More People of Programming Languages (sigplan.org)
1 point by azhenley 3 months ago | past
Synthesizing Neurosymbolic Programs (sigplan.org)
2 points by matt_d 4 months ago | past
SIGPLAN Empirical Evaluation Guidelines (sigplan.org)
1 point by luu 4 months ago | past
Homoiconicity, Lisp, and Program Synthesis (sigplan.org)
3 points by matt_d 4 months ago | past
Go Huge or Go Home: POPL’19 Most Influential Paper Retrospective (sigplan.org)
5 points by matt_d 5 months ago | past
POPL 2020 in Review (sigplan.org)
1 point by azhenley 5 months ago | past
HOPL IV: History of Programming Languages – Accepted Papers (sigplan.org)
62 points by matt_d 5 months ago | past | 13 comments
POPL 2020 in Review (sigplan.org)
1 point by matt_d 5 months ago | past
Composition in Distributed Systems (sigplan.org)
2 points by wheresvic3 6 months ago | past
Mechanized Proofs for Programming Languages: Past, Present, and Future (sigplan.org)
1 point by matt_d 6 months ago | past
A Small Matter of Programming (sigplan.org)
1 point by mwhicks1 6 months ago | past
HOPL IV: History of Programming Languages (sigplan.org)
3 points by simonpure 7 months ago | past
Defunctionalization: Everybody Does It, Nobody Talks About It (sigplan.org)
4 points by adamnemecek 7 months ago | past
Defunctionalization: Everybody Does It, Nobody Talks About It (sigplan.org)
60 points by nancyhua 7 months ago | past | 20 comments
Runtime Support for Multicore Haskell: A Retrospective (sigplan.org)
59 points by lelf 8 months ago | past | 33 comments
Flapjax: From System to Paper (sigplan.org)
1 point by azhenley 8 months ago | past
Building Your First Program Synthesizer (sigplan.org)
3 points by matt_d 8 months ago | past

Guidelines | FAQ | Support | API | Security | Lists | Bookmarklet | Legal | Apply to YC | Contact

Search: