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?
TM + © 2013 Vimeo, LLC. All rights reserved.
Made with k in NYC.