Advanced Topics In Types - "Pierce, Benjamin C ed." (New Delhi, 2005)