search

steshaw / plt

Programming Language Theory λΠ
https://steshaw.org/plt/
5.24k stars 340 forks source link

Move one book and add OPLSS 2016 #26

Closed hawnzug closed 7 years ago

hawnzug commented 7 years ago
  1. I think "Lectures on the Curry-Howard Isomorphism" should be in the list of Type Theory but not Functional Programming.
  2. Add entry for OPLSS 2016.
steshaw commented 7 years ago

Thanks for the contribution!