https://dblp.org/rdf/schema#authorOf
|
https://dblp.org/rec/journals/jfp/SulzmannW23 +
, https://dblp.org/rec/journals/corr/abs-2307-09855 +
, https://dblp.org/rec/journals/scp/CamaraoS22 +
, https://dblp.org/rec/conf/mpc/SulzmannW22 +
, https://dblp.org/rec/journals/corr/abs-2206-09980 +
, https://dblp.org/rec/journals/corr/abs-2209-08511 +
, https://dblp.org/rec/journals/scp/GallagherS21 +
, https://dblp.org/rec/conf/aplas/SulzmannW21 +
, https://dblp.org/rec/journals/corr/abs-2106-14586 +
, https://dblp.org/rec/conf/pppj/SulzmannS20 +
, https://dblp.org/rec/journals/corr/abs-2004-06969 +
, https://dblp.org/rec/journals/corr/abs-2007-10419 +
, https://dblp.org/rec/journals/jcss/SulzmannT19 +
, https://dblp.org/rec/conf/ictac/SulzmannL19 +
, https://dblp.org/rec/conf/pepm/DauthS19 +
, https://dblp.org/rec/conf/pppj/SulzmannS19 +
, https://dblp.org/rec/journals/corr/abs-1905-10855 +
, https://dblp.org/rec/journals/corr/abs-1908-03710 +
, https://dblp.org/rec/journals/corr/abs-1909-03289 +
, https://dblp.org/rec/conf/ictac/SulzmannT18 +
, https://dblp.org/rec/conf/ppdp/SulzmannS18 +
, https://dblp.org/rec/journals/corr/abs-1807-03585 +
, https://dblp.org/rec/journals/ijfcs/SulzmannL17 +
, https://dblp.org/rec/conf/aplas/SulzmannT17 +
, https://dblp.org/rec/conf/hvc/SulzmannS17 +
, https://dblp.org/rec/journals/corr/abs-1708-07366 +
, https://dblp.org/rec/journals/corr/abs-1709-01588 +
, https://dblp.org/rec/journals/corr/abs-1710-06678 +
, https://dblp.org/rec/conf/aplas/StadtmullerST16 +
, https://dblp.org/rec/conf/lata/SulzmannT16 +
, https://dblp.org/rec/conf/wia/SulzmannL16 +
, https://dblp.org/rec/journals/corr/SulzmannL16 +
, https://dblp.org/rec/journals/corr/StadtmuellerST16 +
, https://dblp.org/rec/conf/lata/SulzmannT15 +
, https://dblp.org/rec/conf/lata/ThiemannS15 +
, https://dblp.org/rec/journals/corr/SulzmannT15 +
, https://dblp.org/rec/journals/tplp/DuckHS14 +
, https://dblp.org/rec/conf/cc/SulzmannS14 +
, https://dblp.org/rec/conf/flops/SulzmannL14 +
, https://dblp.org/rec/journals/corr/DuckHS14 +
, https://dblp.org/rec/conf/pepm/SulzmannNZ13 +
, https://dblp.org/rec/conf/mbees/MiliusGPMLSHZ12 +
, https://dblp.org/rec/conf/ppdp/SulzmannL12 +
, https://dblp.org/rec/conf/spin/SulzmannZ12 +
, https://dblp.org/rec/conf/tap/SulzmannZ12 +
, https://dblp.org/rec/journals/jfp/VytiniotisJSS11 +
, https://dblp.org/rec/journals/tplp/LamS11 +
, https://dblp.org/rec/conf/flops/ThiemannS10 +
, https://dblp.org/rec/journals/corr/abs-1006-3039 +
, https://dblp.org/rec/conf/icfp/SchrijversJSV09 +
, https://dblp.org/rec/conf/popl/SulzmannLM09 +
, https://dblp.org/rec/journals/jfp/SulzmannS08 +
, https://dblp.org/rec/conf/coordination/SulzmannLW08 +
, https://dblp.org/rec/conf/icfp/SchrijversJCS08 +
, https://dblp.org/rec/conf/iclp/SchrijversS08 +
, https://dblp.org/rec/conf/ppdp/SulzmannL08 +
, https://dblp.org/rec/conf/sfp/SchrijversS08 +
, https://dblp.org/rec/journals/jfp/SulzmannDJS07 +
, https://dblp.org/rec/conf/foal/SulzmannW06 +
, https://dblp.org/rec/conf/iclp/DuckSS07 +
, https://dblp.org/rec/conf/ifl/SulzmannL07 +
, https://dblp.org/rec/conf/popl/LamS07 +
, https://dblp.org/rec/conf/tldi/SulzmannCJD07 +
, https://dblp.org/rec/conf/aplas/StuckeySW06 +
, https://dblp.org/rec/conf/aplas/SulzmannSS06 +
, https://dblp.org/rec/conf/flops/SulzmannWS06 +
, https://dblp.org/rec/conf/icfp/SulzmannW06 +
, https://dblp.org/rec/conf/planX/SulzmannL06 +
, https://dblp.org/rec/conf/ppdp/Sulzmann06 +
, https://dblp.org/rec/journals/entcs/SulzmannV07 +
, https://dblp.org/rec/journals/toplas/StuckeyS05 +
, https://dblp.org/rec/journals/entcs/SulzmannL06 +
, https://dblp.org/rec/journals/corr/abs-cs-0507036 +
, https://dblp.org/rec/journals/corr/abs-cs-0507037 +
, https://dblp.org/rec/conf/aplas/LuS04 +
, https://dblp.org/rec/conf/esop/DuckPSS04 +
, https://dblp.org/rec/conf/haskell/StuckeySW04 +
, https://dblp.org/rec/conf/aplas/MarriottSS03 +
, https://dblp.org/rec/conf/haskell/StuckeySW03 +
, https://dblp.org/rec/journals/corr/cs-PL-0311023 +
, https://dblp.org/rec/conf/aplas/Sulzmann02 +
, https://dblp.org/rec/conf/icfp/GlynnSSS02 +
, https://dblp.org/rec/conf/icfp/StuckeyS02 +
, https://dblp.org/rec/conf/flops/Sulzmann01 +
, https://dblp.org/rec/conf/pado/GlynnSSS01 +
, https://dblp.org/rec/conf/sas/GlynnSS01 +
, https://dblp.org/rec/journals/corr/cs-PL-0006034 +
, https://dblp.org/rec/journals/tapos/OderskySW99 +
, https://dblp.org/rec/conf/cade/BeckertHOS96 +
|