Specialisation of higher-order functions for debugging Conference Proceedings uri icon

Overview

Published in

  • Electronic Notes in Theoretical Computer Science

Time

Date/time value

  • 2002

Identity

Digital Object Identifier (DOI)

  • 10.1016/S1571-0661(04)80355-4

Additional Document Info

Parent Title

  • Electronic Notes in Theoretical Computer Science

Volume

  • 64

Publisher

  • Elsevier BV