Rewriting Conversions Implemented with Continuations

Citation

Norrish, M 2009, 'Rewriting Conversions Implemented with Continuations', Journal of Automated Reasoning, vol. 43, no. 3, pp. 305-336.

Year

2009

ANU Authors

Fields of Research

  • Computational Logic And Formal Languages
  • Networking And Communications

Updated:  15 April 2021 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers