About

I’m a computer scientist with interests in formal methods, type theory, category theory and programming languages (i.e. Haskell, Java, Scala).

Follow me on GitHub or Twitter

Topic of interest: Datatype-generic programming in the context of functional programming languages is a technique which enables access to write short high-level functional programs. It offers the functionality to traverse terms without any knowledge about their type, which comes in handy to implement term-transformations (e.g. term-rewriting systems) or extractions of specific values from terms. Since one is able to define such high-level functions, datatype-generic programming enables us the possibility to define algorithms for terms of large types in an elegant way without writing boilerplate source code. In my studies I apply datatype-generic programming as a tool in order to solve problems, which arise in daily software development.

Blog title: “But what is it good for?” – IBM engineer, commenting on the microchip, 1968

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s