about

I am an Iraqi-Canadian who enjoys mathematics such as

• algebra, topology, and number theory

• lattice theory and discrete mathematics

• calculational mathematics and program derivation

• Agda, formalised mathematics

• Category Theory

I also enjoy the oriental game of strategy known as Go, and am a member of the Canadian Go Association

For a very accessible introduction, see The Interactive Way to Go

Interesting sites

• Maarten M. Fokkinga’s Homepage

• Maths of Program Construction, Backhouse

• Edsger W. Dijkstra Archive

• Graham Hutton, Publications

• Ralf Hinze, Publications

• Jeremy Gibbons, Publications

• The Monad Reader

Blog List

• Monadically Speaking: Benjamin’s Adventures in PLT Wonderland

• A Neighborhood of Infinity

• Patterns in Functional Programming

• Haskell for all