The Basold paper looks really good, I am excited to jump in. Perhaps as a side note, these are really exciting times. How wonderful to see the places modern type theory is seeping its way into the structure and implementation of practical programs.
============================================================ FRIAM Applied Complexity Group listserv Meets Fridays 9a-11:30 at cafe at St. John's College to unsubscribe http://redfish.com/mailman/listinfo/friam_redfish.com archives back to 2003: http://friam.471366.n2.nabble.com/ FRIAM-COMIC http://friam-comic.blogspot.com/ by Dr. Strangelove