Using impurity to create declarative interfaces in Mercury

Tyson Dowd
Peter Schachte
Zoltan Somogyi
Department of Computer Science, University of Melbourne, Melbourne, Australia

Abstract

Research Areas

×