Hacker News Reader

I’m missing “On the criteria to be used in decomposing systems into modules” by David Parnas. Also anything about type systems.

I mean it does include "programming with abstract data types"

More classic FP papers could have been added but honestly this doesn't seem like a bad little collection!