This is a talk given by Henrik Nilsson at Haskell Workshop 2007 in Freiburg. The talk is based on the joint work with George Giorgidze.

Loading more stuff…

Hmm…it looks like things are taking a while to load. Try again?

Loading videos…