arXiv 2002-12-04 EN Ownership Confinement Ensures Representation Independence for Object-Oriented Programs Banerjee, Anindya · Naumann, David A.
arXiv 2000-06-26 EN Type Classes and Constraint Handling Rules Glynn, Kevin · Sulzmann, Martin · Stuckey, Peter J.
