Select author: all Bodirsky, ManuelBotlan, DidierBrown, ChadBrunklaus, ThorstenDebusmann, RalphDoczkal, ChristianDuchier, DenysErk, KatrinHenz, MartinKaminski, MarkKornstaedt, LeifKuhlmann, MarcoMehl, MichaelMöhl, MathiasMüller, MartinMüller, TobiasNiehren, JoachimPriesnitz, TimRossberg, AndreasScheidhauer, RalfSchulte, ChristianSchwinghammer, JanSmolka, GertStraßburger, LutzTack, GuidoTreinen, RalfWalser, JoachimWürtz, Jörg
Beyond Type Classes (pdf) Andreas Rossberg, Martin Sulzmann Technical Report
A Theory of Overloading Part II: Semantics and Coherence (pdf) Martin Sulzmann, Andreas Rossberg Technical Report
Login to edit
