Monthly Archives: November 2010

Monoids and data structures

Thinking about ways to formally specify behavior of software it occurred to me that there is a very natural way to express data structures and their operations in the language of monoids without referring to an actual implementation of that … Continue reading

Posted in Uncategorized | Leave a comment