search

plum-umd / abstracting-definitional-interpreters

Abstracting Definitional Interpreters
67 stars 2 forks source link

Cite two diss on PDCFA? #33

Closed davdar closed 7 years ago

davdar commented 7 years ago

https://github.com/plum-umd/monadic-eval/blob/a72f1a0fe380bcc51b6ed9dc872e1732875dffae/monadic-eval/paper2/05-reynolds.tex#L27-L28

Maybe this should be "two dissertations", and we should mention Chris Earls' diss?

dvanhorn commented 7 years ago

Yes, can you do it?

davdar commented 7 years ago

Yep; on it.

davdar commented 7 years ago

Done.