Skip to content

Commit

Permalink
Merge pull request #227 from hosking/master
Browse files Browse the repository at this point in the history
Add ICFP and OOPSLA MIPs
  • Loading branch information
sampsyo authored Oct 27, 2023
2 parents 91e1512 + bf52054 commit 3512cd9
Show file tree
Hide file tree
Showing 2 changed files with 29 additions and 0 deletions.
14 changes: 14 additions & 0 deletions _data/ICFP.yaml
Original file line number Diff line number Diff line change
@@ -1,3 +1,17 @@
2023:
- Awardee: Ohad Kammar, Sam Lindley and Nicolas Oury
Other: |
(for 2013) _[Handlers in Action](https://dl.acm.org/doi/abs/10.1145/2500365.2500590)_
Citation: |
This paper drew the attention of the ICFP community to handlers as
an abstraction for effectful computation. In exposition, and in
providing the first operational semantics for handlers & effects,
and an effect system, it seeded many subsequent
works. Pragmatically, it detailed implementation of handlers in
Haskell, and outlined the ideas behind OCaml, SML, and Racket
implementations, as well as providing experimental results
comparing handlers with equivalent monadic code.
2022:
- Awardee: Deian Stefan, Alejandro Russo, Pablo Buiras, Amit Levy, John C. Mitchell and David Mazières
Other: |
Expand Down
15 changes: 15 additions & 0 deletions _data/OOPSLA.yaml
Original file line number Diff line number Diff line change
@@ -1,3 +1,18 @@
2023:
- Awardee: Leo Meyerovich and Ariel Rabkin
Other: |
(for 2013) _[Empirical analysis of programming language adoption](https://dl.acm.org/doi/10.1145/2509136.2509515)_
Citation: |
Some programming languages become wildly popular while others fade
away. This paper seeks to answer why, by performing an empirical
study spanning hundreds of thousands of open-source software
projects and interviews with thousands of programmers. The
methodology used in the paper is thorough, and the paper provides
insights of interest to the broader Programming Languages
community. Overall, this paper is a role model for large-scale
empirical studies of programming languages, making it worthy of
the OOPSLA 2013 Most Influential Paper Award.
2022:
- Awardee: Adam Betts, Nathan Chong, Alastair Donaldson, Shaz Qadeer and Paul Thomson
Other: |
Expand Down

0 comments on commit 3512cd9

Please sign in to comment.