{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":54132767,"defaultBranch":"master","name":"effects-bibliography","ownerLogin":"yallop","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2016-03-17T16:13:31.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/1736496?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1713015116.0","currentOid":""},"activityList":{"items":[{"before":"77fbd7ad885a186965933d394bd5c0e3101f0fec","after":"3a781b22f94ac7ad2553dfe4c993a474c2c01639","ref":"refs/heads/master","pushedAt":"2024-08-07T15:39:24.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"dhil","name":"Daniel Hillerström","path":"/dhil","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1827113?s=80&v=4"},"commit":{"message":"Fix existing and add missing meta-data (#199)\n\n* Consistent formatting\r\n\r\n* Add a DBLP link to all entries that have one\r\n\r\nCloses #8\r\n\r\n* Use DBLP to add missing DOIs and fix metadata errors\r\n\r\n* Update arXiv links\r\n\r\n* Minor forgotten fixes","shortMessageHtmlLink":"Fix existing and add missing meta-data (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2450591492\" data-permission-text=\"Title is private\" data-url=\"https://github.com/yallop/effects-bibliography/issues/199\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/yallop/effects-bibliography/pull/199/hovercard\" href=\"https://github.com/yallop/effects-bibliography/pull/199\">#199</a>)"}},{"before":"17278321eb5908f29d8f35b5ba54e7451753ac30","after":"77fbd7ad885a186965933d394bd5c0e3101f0fec","ref":"refs/heads/master","pushedAt":"2024-08-05T14:51:57.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"dhil","name":"Daniel Hillerström","path":"/dhil","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1827113?s=80&v=4"},"commit":{"message":"Clean-up & DBLP links (#198)\n\nFor the purpose of writing a survey paper, I've started collecting papers on handlers from DBLP. I plan to add interesting missing papers later on, but first, I've done slight white-space changes and added DOIs and DBLP links for most of the papers from 2010 onwards.","shortMessageHtmlLink":"Clean-up &amp; DBLP links (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2448439536\" data-permission-text=\"Title is private\" data-url=\"https://github.com/yallop/effects-bibliography/issues/198\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/yallop/effects-bibliography/pull/198/hovercard\" href=\"https://github.com/yallop/effects-bibliography/pull/198\">#198</a>)"}},{"before":"b35a862345be39efbd49a3cd366d014de8ab5982","after":"17278321eb5908f29d8f35b5ba54e7451753ac30","ref":"refs/heads/master","pushedAt":"2024-04-15T18:48:43.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"dhil","name":"Daniel Hillerström","path":"/dhil","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1827113?s=80&v=4"},"commit":{"message":"add a few more papers on sequential / flow-sensitive effect systems (#194)\n\n* add a few more papers on sequential / flow-sensitive effect systems\r\n\r\n* fix spaces\r\n\r\n* more sequential effect systems\r\n\r\n* whitespace fix\r\n\r\nCo-authored-by: Daniel Hillerström <daniel.hillerstrom@ed.ac.uk>\r\n\r\n* whitespace fix\r\n\r\nCo-authored-by: Daniel Hillerström <daniel.hillerstrom@ed.ac.uk>\r\n\r\n* whitespace fix\r\n\r\nCo-authored-by: Daniel Hillerström <daniel.hillerstrom@ed.ac.uk>\r\n\r\n---------\r\n\r\nCo-authored-by: Daniel Hillerström <daniel.hillerstrom@ed.ac.uk>","shortMessageHtmlLink":"add a few more papers on sequential / flow-sensitive effect systems (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2241773985\" data-permission-text=\"Title is private\" data-url=\"https://github.com/yallop/effects-bibliography/issues/194\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/yallop/effects-bibliography/pull/194/hovercard\" href=\"https://github.com/yallop/effects-bibliography/pull/194\">#…</a>"}},{"before":"c2aec2a99473a2d63ee5e41d1fd8502b18a58ea5","after":"b35a862345be39efbd49a3cd366d014de8ab5982","ref":"refs/heads/master","pushedAt":"2024-04-13T13:33:49.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"yallop","name":"Jeremy Yallop","path":"/yallop","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1736496?s=80&v=4"},"commit":{"message":"Add https://github.com/okeuday/effects repo","shortMessageHtmlLink":"Add <a href=\"https://github.com/okeuday/effects\">https://github.com/okeuday/effects</a> repo"}},{"before":"556f5352459fa1be6d3e61437cc7afc58120eb00","after":null,"ref":"refs/heads/csgordon","pushedAt":"2024-04-13T13:31:56.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"yallop","name":"Jeremy Yallop","path":"/yallop","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1736496?s=80&v=4"}},{"before":"56e87e352c574623e6913adf8a972aec433ea858","after":"c2aec2a99473a2d63ee5e41d1fd8502b18a58ea5","ref":"refs/heads/master","pushedAt":"2024-04-13T13:31:53.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"yallop","name":"Jeremy Yallop","path":"/yallop","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1736496?s=80&v=4"},"commit":{"message":"Disable link checking for cs.drexel.edu due to certificate issue.","shortMessageHtmlLink":"Disable link checking for cs.drexel.edu due to certificate issue."}},{"before":"1b1ec1b15a82741274b616b7a2aeb60c9266be55","after":"556f5352459fa1be6d3e61437cc7afc58120eb00","ref":"refs/heads/csgordon","pushedAt":"2024-04-13T13:30:35.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"yallop","name":"Jeremy Yallop","path":"/yallop","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1736496?s=80&v=4"},"commit":{"message":"Disable link checking for cs.drexel.edu due to certificate issue.","shortMessageHtmlLink":"Disable link checking for cs.drexel.edu due to certificate issue."}},{"before":null,"after":"1b1ec1b15a82741274b616b7a2aeb60c9266be55","ref":"refs/heads/csgordon","pushedAt":"2024-04-13T13:28:24.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"yallop","name":"Jeremy Yallop","path":"/yallop","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1736496?s=80&v=4"},"commit":{"message":"add a few papers on the more applied side","shortMessageHtmlLink":"add a few papers on the more applied side"}},{"before":"f63b0340d9a81ac795e7609fa2c6b16e6facb012","after":"56e87e352c574623e6913adf8a972aec433ea858","ref":"refs/heads/master","pushedAt":"2024-04-11T18:52:54.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"dhil","name":"Daniel Hillerström","path":"/dhil","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1827113?s=80&v=4"},"commit":{"message":"JFP'24 paper (#192)","shortMessageHtmlLink":"JFP'24 paper (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2237550880\" data-permission-text=\"Title is private\" data-url=\"https://github.com/yallop/effects-bibliography/issues/192\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/yallop/effects-bibliography/pull/192/hovercard\" href=\"https://github.com/yallop/effects-bibliography/pull/192\">#192</a>)"}},{"before":"8b58b191bfff98e502318bbf0336d8f4f3a6aea5","after":null,"ref":"refs/heads/active-objects","pushedAt":"2024-03-04T08:25:19.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"yallop","name":"Jeremy Yallop","path":"/yallop","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1736496?s=80&v=4"}},{"before":"29cc946afe6bec245fa26c1ebd0536ef8cf51229","after":"f63b0340d9a81ac795e7609fa2c6b16e6facb012","ref":"refs/heads/master","pushedAt":"2024-03-04T08:25:15.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"yallop","name":"Jeremy Yallop","path":"/yallop","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1736496?s=80&v=4"},"commit":{"message":"Add \"Active Objects Based on Algebraic Effects\"","shortMessageHtmlLink":"Add \"Active Objects Based on Algebraic Effects\""}},{"before":null,"after":"8b58b191bfff98e502318bbf0336d8f4f3a6aea5","ref":"refs/heads/active-objects","pushedAt":"2024-02-29T19:42:21.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"yallop","name":"Jeremy Yallop","path":"/yallop","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1736496?s=80&v=4"},"commit":{"message":"Add \"Active Objects Based on Algebraic Effects\"","shortMessageHtmlLink":"Add \"Active Objects Based on Algebraic Effects\""}},{"before":"d002a3b697106e88d6d7779c20afc0f54b20ee2d","after":null,"ref":"refs/heads/arrow-handlers","pushedAt":"2024-02-24T09:55:57.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"yallop","name":"Jeremy Yallop","path":"/yallop","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1736496?s=80&v=4"}},{"before":"0400f00bb1663067b2dc3f3b141c2cc9b5f0cd92","after":"29cc946afe6bec245fa26c1ebd0536ef8cf51229","ref":"refs/heads/master","pushedAt":"2024-02-24T09:55:55.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"yallop","name":"Jeremy Yallop","path":"/yallop","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1736496?s=80&v=4"},"commit":{"message":"Update various MSFP 2020 links.","shortMessageHtmlLink":"Update various MSFP 2020 links."}},{"before":"93ed6350ccc52e153053544fbc45c684ff8f1b32","after":"d002a3b697106e88d6d7779c20afc0f54b20ee2d","ref":"refs/heads/arrow-handlers","pushedAt":"2024-02-24T09:54:04.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"yallop","name":"Jeremy Yallop","path":"/yallop","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1736496?s=80&v=4"},"commit":{"message":"Update various MSFP 2020 links.","shortMessageHtmlLink":"Update various MSFP 2020 links."}},{"before":"abc04291f0af22487f83869f9912062f3916c827","after":"93ed6350ccc52e153053544fbc45c684ff8f1b32","ref":"refs/heads/arrow-handlers","pushedAt":"2024-02-23T19:11:06.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"yallop","name":"Jeremy Yallop","path":"/yallop","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1736496?s=80&v=4"},"commit":{"message":"Add \"Algebraic Effects and Handlers for Arrows\" by Takahiro Sanada\n\nand \"Category-Graded Algebraic Theories and Effect Handlers\", also by Takahiro Sanada","shortMessageHtmlLink":"Add \"Algebraic Effects and Handlers for Arrows\" by Takahiro Sanada"}},{"before":null,"after":"abc04291f0af22487f83869f9912062f3916c827","ref":"refs/heads/arrow-handlers","pushedAt":"2024-02-23T19:09:05.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"yallop","name":"Jeremy Yallop","path":"/yallop","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1736496?s=80&v=4"},"commit":{"message":"Add \"Algebraic Effects and Handlers for Arrows\" by Takahiro Sanada\n\nand \"Category-Graded Algebraic Theories and Effect Handlers\", also by Takahiro Sanada","shortMessageHtmlLink":"Add \"Algebraic Effects and Handlers for Arrows\" by Takahiro Sanada"}},{"before":"5d08047c29d55943b19ee3473e0a6ebeab936811","after":"0400f00bb1663067b2dc3f3b141c2cc9b5f0cd92","ref":"refs/heads/master","pushedAt":"2024-02-06T18:18:18.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"dhil","name":"Daniel Hillerström","path":"/dhil","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1827113?s=80&v=4"},"commit":{"message":"POPL24 papers (#188)\n\n* POPL24 papers\r\n\r\n* Alternative link for shared state concurrency paper\r\n\r\n* Update link for \"A Hierarchy of Monadic Effects for Program Verification using Equational Reasoning\"\r\n\r\nSSL issue with previous link:\r\n```\r\n* [ERR] [https://staff.aist.go.jp/reynald.affeldt/documents/monae.pdf](https://staff.aist.go.jp/reynald.affeldt/documents/monae.pdf) | Failed: Network error: error:1416F086:SSL routines:tls_process_server_certificate:certificate verify failed:ssl/statem/statem_clnt.c:1921: (unable to get local issuer certificate)\r\n```\r\n(https://github.com/yallop/effects-bibliography/pull/188#issuecomment-1930022869)\r\n\r\n* Updated link for \"Extensible Denotational Language Specifications\"\r\n\r\nSSL error with previous link:\r\n```\r\n* [ERR] [http://www.ccis.neu.edu/racket/pubs/tacs94-cf.ps.gz](http://www.ccis.neu.edu/racket/pubs/tacs94-cf.ps.gz) | Failed: Network error: error:1416F086:SSL routines:tls_process_server_certificate:certificate verify failed:ssl/statem/statem_clnt.c:1921: (unable to get local issuer certificate)\r\n```\r\n(https://github.com/yallop/effects-bibliography/pull/188#issuecomment-1930022869)\r\n\r\n---------\r\n\r\nCo-authored-by: Jeremy Yallop <jeremy.yallop@cl.cam.ac.uk>","shortMessageHtmlLink":"POPL24 papers (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2121014514\" data-permission-text=\"Title is private\" data-url=\"https://github.com/yallop/effects-bibliography/issues/188\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/yallop/effects-bibliography/pull/188/hovercard\" href=\"https://github.com/yallop/effects-bibliography/pull/188\">#188</a>)"}},{"before":"a38ab6da5f587dea50381b0b76efe1aa4ddf7508","after":"5d08047c29d55943b19ee3473e0a6ebeab936811","ref":"refs/heads/master","pushedAt":"2024-01-03T13:04:54.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"yallop","name":"Jeremy Yallop","path":"/yallop","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1736496?s=80&v=4"},"commit":{"message":"Add Yotam Dvir et al.'s paper on an algebraic theory for a strong memory model (#186)\n\n* Add Yotam Dvir's paper\r\n\r\n* Add trailing whitespace to force line breaks\r\n\r\n---------\r\n\r\nCo-authored-by: Jeremy Yallop <jeremy.yallop@cl.cam.ac.uk>","shortMessageHtmlLink":"Add Yotam Dvir et al.'s paper on an algebraic theory for a strong mem…"}},{"before":"1dde4fb277f80655805bfa3a4b81a8f52877074b","after":null,"ref":"refs/heads/prg-updates","pushedAt":"2024-01-03T13:02:08.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"yallop","name":"Jeremy Yallop","path":"/yallop","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1736496?s=80&v=4"}},{"before":"e62c92a3874adb032760c96c8cecd5209bc3a456","after":"a38ab6da5f587dea50381b0b76efe1aa4ddf7508","ref":"refs/heads/master","pushedAt":"2024-01-03T13:02:04.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"yallop","name":"Jeremy Yallop","path":"/yallop","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1736496?s=80&v=4"},"commit":{"message":"Update links to papers from the Tokyo Institute of Technology PRG.","shortMessageHtmlLink":"Update links to papers from the Tokyo Institute of Technology PRG."}},{"before":null,"after":"1dde4fb277f80655805bfa3a4b81a8f52877074b","ref":"refs/heads/prg-updates","pushedAt":"2024-01-03T13:00:38.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"yallop","name":"Jeremy Yallop","path":"/yallop","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1736496?s=80&v=4"},"commit":{"message":"Update links to papers from the Tokyo Institute of Technology PRG.","shortMessageHtmlLink":"Update links to papers from the Tokyo Institute of Technology PRG."}},{"before":"6e2faf4984393b79467630d7a4c182f8bcd8afb0","after":"e62c92a3874adb032760c96c8cecd5209bc3a456","ref":"refs/heads/master","pushedAt":"2023-11-16T23:34:43.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"yallop","name":"Jeremy Yallop","path":"/yallop","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1736496?s=80&v=4"},"commit":{"message":"Ignore 10.1145 DOIs","shortMessageHtmlLink":"Ignore 10.1145 DOIs"}},{"before":"d30ca481140f6c0ce6b2af97c7b5ba4bbbafaa2e","after":null,"ref":"refs/heads/dhil-papers","pushedAt":"2023-11-16T23:32:33.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"yallop","name":"Jeremy Yallop","path":"/yallop","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1736496?s=80&v=4"}},{"before":null,"after":"d30ca481140f6c0ce6b2af97c7b5ba4bbbafaa2e","ref":"refs/heads/dhil-papers","pushedAt":"2023-11-16T23:32:14.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"yallop","name":"Jeremy Yallop","path":"/yallop","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1736496?s=80&v=4"},"commit":{"message":"Ignore 10.1145 DOIs","shortMessageHtmlLink":"Ignore 10.1145 DOIs"}},{"before":"bb6a296e4ed003e16681a4e0a5de23002c7166b4","after":null,"ref":"refs/heads/mm0821-master","pushedAt":"2023-11-09T18:24:57.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"yallop","name":"Jeremy Yallop","path":"/yallop","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1736496?s=80&v=4"}},{"before":"09baf31bd150f61130d1135a3771bd5df51ca6b7","after":"6e2faf4984393b79467630d7a4c182f8bcd8afb0","ref":"refs/heads/master","pushedAt":"2023-11-09T18:24:53.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"yallop","name":"Jeremy Yallop","path":"/yallop","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1736496?s=80&v=4"},"commit":{"message":"Add \"From Capabilities to Regions\"","shortMessageHtmlLink":"Add \"From Capabilities to Regions\""}},{"before":null,"after":"bb6a296e4ed003e16681a4e0a5de23002c7166b4","ref":"refs/heads/mm0821-master","pushedAt":"2023-11-09T18:23:21.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"yallop","name":"Jeremy Yallop","path":"/yallop","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1736496?s=80&v=4"},"commit":{"message":"Add \"From Capabilities to Regions\"","shortMessageHtmlLink":"Add \"From Capabilities to Regions\""}},{"before":"20f3767fe82c4c993aa1e7abbb33ea67dd4d13e7","after":"09baf31bd150f61130d1135a3771bd5df51ca6b7","ref":"refs/heads/master","pushedAt":"2023-11-09T18:16:05.000Z","pushType":"pr_merge","commitsCount":7,"pusher":{"login":"yallop","name":"Jeremy Yallop","path":"/yallop","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1736496?s=80&v=4"},"commit":{"message":"Ignore www.macs.hw.ac.uk links (certificate issue)\n\n* [ERR] [https://www.macs.hw.ac.uk/splv/wp-content/uploads/2022/07/ehop.pdf](https://www.macs.hw.ac.uk/splv/wp-content/uploads/2022/07/ehop.pdf) | Failed: Network error: error:1416F086:SSL routines:tls_process_server_certificate:certificate verify failed:ssl/statem/statem_clnt.c:1921: (unable to get local issuer certificate)","shortMessageHtmlLink":"Ignore <a href=\"http://www.macs.hw.ac.uk\" rel=\"nofollow\">www.macs.hw.ac.uk</a> links (certificate issue)"}},{"before":"725a0ffeccf50ee22b554454f43dccb0f01ebca7","after":null,"ref":"refs/heads/lychee-action","pushedAt":"2023-11-09T18:10:20.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"yallop","name":"Jeremy Yallop","path":"/yallop","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1736496?s=80&v=4"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAElFqZBgA","startCursor":null,"endCursor":null}},"title":"Activity · yallop/effects-bibliography"}