Publications
- https://www2.ccs.neu.edu/racket/pubs/
- https://www.cs.utah.edu/plt/publications/
- https://plt.eecs.northwestern.edu/diss.html
- http://cs.brown.edu/~sk/Publications/Papers/Published/
- https://jeapostrophe.github.io/home/#%28part._pubs%29
- http://cs.brown.edu/~kfisler/Pubs/
- https://www.brinckerhoff.org/pubs.html
- http://homes.sice.indiana.edu/samth/#research
from https://www.racket-lang.org/people.html
PL theory papers sometimes use some domain specific notation. These posts may help if you are unfamiliar;
