Software Foundations

Looks like a nice series of texts on computer science, formal verfication, etc.

cs functional papers