Skip to content

Commit 0257a29

Browse files
authored
Updated link for "Extensible Denotational Language Specifications"
SSL error with previous link: ``` * [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) ``` (#188 (comment))
1 parent 57a4488 commit 0257a29

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

README.md

+1-1
Original file line numberDiff line numberDiff line change
@@ -1020,7 +1020,7 @@ in various programming languages.
10201020

10211021
* **Extensible Denotational Language Specifications** (TACS 1994)
10221022
by Robert Cartwright and Matthias Felleisen
1023-
([ps.gz](http://www.ccis.neu.edu/racket/pubs/tacs94-cf.ps.gz))
1023+
([ps.gz](http://www.cs.rice.edu/CS/PLT/Publications/Scheme/tacs94-cf.ps.gz))
10241024

10251025
* **Building interpreters by transforming stratified monads** (Unpublished, 1994)
10261026
by David Espinosa

0 commit comments

Comments
 (0)