Since I have been digging theory pretty hard lately I thought I would drop a quick blog post with some of the research, lectures and such that I have been working through. I highly suggest perusing this stuff …

Type Theory Foundations Category Theory Foundations Monad and All That all of which can be found on this University of Oregon site.

F# Symbolic Math

If course the dark corners of Dave Thomas’ blog is a wonderful place to get lost.

Wanna joint the type system debate? Start Here

Some papers on topics I am not smart enough to understand, but are good vocabulary builders.

More F# Monad Madness from Tomas Petricek

Happy Surfing!