Written August 5, 2014

# August 2014 Thought Work

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.

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!