turkmath.org

Most mathematicians, as well as engineers, believe that applied mathematics is about solving differential equations or doing some similar kind of scientific/symbolic computing. In this talk, we will try to demonstrate how more abstract branches of mathematics such as algebra and category theory find applications in software engineering. We will use Haskell, an industrial strength functional programming language, to give examples. No prior knowledge of Haskell will be assumed.