Benjamin C. Pierce Types and Programming Languages: The Next Generation. 32- 2003 conf/lics/2003 LICS http://csdl.computer.org/comp/proceedings/lics/2003/1884/00/18840032abs.htm db/conf/lics/lics2003.html#Pierce03