1. 16
  1. 3

    See the Lambda-the-Ultimate presentation (and upcoming discussion) which presents more context on the work.