SulzmannMartin

Understanding functional dependencies via constraint handling rules

J StuckeyPeter, Peyton-JonesSimon, SulzmannMartin, 2007 .

Exception analysis for non-strict languages

SøndergaardHarald, J StuckeyPeter, SulzmannMartin, 2002 .

Type inference with constrained types

OderskyMartin, SulzmannMartin, WehrMartin, 1999 .

A theory of overloading

J StuckeyPeter, SulzmannMartin, 2002 .