TY - BOOK AU - Pierce, Benjamin C. TI - Advanced Topics in Types and Programming Languages SN - 9788120327924 U1 - 005.13 PY - 2005/// CY - New Delhi PB - Prentice-Hall of India Pvt. Ltd. KW - Computer Engineering ER -