search

yallop / effects-bibliography

A collaborative bibliography of work related to the theory and practice of computational effects
953 stars 80 forks source link

POPL24 papers #188

Closed dhil closed 8 months ago

dhil commented 8 months ago

There are two seemingly SSL-related failures:

* [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)
* [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)

There was another third failure due to the link for "An Algebraic Theory for Shared-State Concurrency" going stale. I found an alternative link.