Observable confluence for constraint handling rules

by Duck, G.J., Stuckey, P.J., Sulzmann, M.
Published 2013

Constraint-based program reasoning with heaps and separation

by Duck, G.J., Jaffar, J., Koh, N.C.H.
Published 2014

Sound and decidable type inference for functional dependencies

by Duck, G.J., Peyton-Jones, S., Stuckey, P.J., Sulzmann, M.
Published 2013

Understanding functional dependencies via constraint handling rules

by Sulzmann, M., Duck, G.J., Peyton-Jones, S., Stuckey, P.J.
Published 2013