Daniel Brown dbrown@ccs.neu.edu vita
I am interested in the semantics of programming languages and how we can apply them to improve the practice of programming. In particular, I think we have much to gain from the understanding of non-local behaviors like computational effects and contextual dependency through general mathematical structures like monads and comonads.

In my free time I enjoy thinking about functional programming, type theory, mathematical logic, categorical semantics, and coalgebra. In my other free time I enjoy reading, traveling, drinking tea, and listening to electronic music.


Categories of timed stochastic relations Daniel Brown and Riccardo Pucella Mathematical Foundations of Programming Semantics (MFPS XXV), 2009 Function inheritance: Monadic memoization mixins Daniel Brown and William R. Cook Brazilian Symposium on Programming Languages (SBLP), 2009