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
Effectful Computation in Moggi's Calculus with Records and Subtyping (pdf) Dieter Brunotte Bachelor's Thesis, Saarland University
Login to edit
