Subjective Logic in Haskell
This is the software portion of my Master's Thesis from the University of Windsor. The library was implemented as literate Haskell, and the corresponding LaTeX was embedded directly into my final dissertation document. In other words, my thesis was a program.
Bryan St. Amour: A Subjective Logic Library Constructed Using Monadic Higher Order Functions. Msc Thesis. University of Windsor, 2014.