A very good summary of that paper is available here: http://lambda-the-ultimate.org/node/1518#comment-17566
Another alternative based on recursive modules: http://www.math.nagoya-u.ac.jp/~garrigue/papers/#privaterows