Luckily a year ago I made a good choice in programming languages: Haskell. Language trends are harder to read. Think there’s a practical use for Second order Lambda Calculus with Polymorphism? I do. Category theory is embedded in the core libraries of the language which makes incorporating information flow and the logical environment of the Information Flow Framework a natural fit.
Winter was a time of deep contemplation and thoughtful reflection. I describe my readings in intuitionistic logic, type theory and the open source tooling that allows me to get my hands dirty and stay free.
Describes my experience at OWL Experiences and Design 2009. Relates a conversation with Peter Patel-Schneider about the description logic community’s choice of the terms concept and role. More of my opinion on how the philosophies of semiotics, realism and nominalism inform technology implementation. Provides and update on my work with higher order logic and Haskell.