The slides of Roberto's talk at LL3 are now available at http://www.inf.puc-rio.br/~roberto/lua-ll3.pdf The sessions are available in streaming video at http://ll3.ai.mit.edu/ --lhf