This is a talk given by George Giorgidze at Haskell Symposium 2011 in Tokyo. The talk is based on the joint work with Torsten Grust, Nils Schweinsberg and Jeroen Weijers.

Loading more stuff…

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

Loading videos…