dblp keys for Philip Wadler

Philip Wadler

Keys

# of data records = 169

homepages/w/PhilipWadler series/utcs/SannellaFPW21 journals/jfp/SiekTW21 journals/scp/DuranW21 conf/isola/Wadler21 journals/jfp/AbelCDTW20 journals/lmcs/KokkeMW20 journals/pacmpl/GriesemerHKLTTW20 journals/scp/KokkeSW20 conf/fc/Chakravarty0MMJ20 conf/isola/Chakravarty0MMM20 conf/isola/Chakravarty0MMM20a journals/corr/abs-2001-10274 journals/corr/abs-2005-11710 journals/jfp/IgarashiTTVW19 journals/jfp/SchrijversOWM19 conf/coordination/KokkeMW19 conf/mpc/ChapmanKNW19 conf/mpc/JonesGKMNW19 journals/corr/abs-1909-13376 journals/pacmpl/WilliamsMW18 journals/pacmpl/VazouTCSNWJ18 conf/sbmf/Wadler18 journals/corr/abs-1809-05649 journals/darts/WilliamsMWZ17 journals/jucs/Wadler17 journals/pacmpl/IgarashiTVW17 journals/pacmpl/AhmedJSW17 conf/ecoop/FowlerLW17 conf/ecoop/WilliamsMWZ17 conf/haskell/BottuKSOW17 journals/corr/abs-1711-03842 journals/dagstuhl-reports/GayVWY17 journals/cacm/Wadler16 conf/chi/MyersSHKBTW16 conf/concur/CarboneLMSW16 conf/pepm/NajdLSW16 journals/corr/NajdLSW16 journals/corr/FowlerLW16 journals/cacm/Wadler15 conf/pldi/SiekTW15 conf/snapl/Wadler15 journals/corr/NajdLSW15 journals/jfp/Wadler14 journals/sigplan/BoehmDFFGHHPTVW14 conf/ecoop/HeWT14 conf/iccsw/Wadler14 conf/pepm/CheneyLRW14 conf/sigmod/CheneyLW14 journals/corr/CheneyLW14 journals/shonan-reports/IgarashiTW14 journals/sigplan/DreyerFGHJSSW13 conf/icfp/CheneyLW13 journals/corr/CheneyLRW13 journals/sigplan/Wadler12 conf/icfp/Wadler12 conf/popl/AhmedFSW11 journals/jfp/LindleyWY10 conf/esop/LindleyW10 conf/popl/SiekW10 journals/jfp/SchrijversSW09 conf/ecoop/AhmedFMW09 conf/ecoop/SiekW09 conf/esop/WadlerF09 conf/ppdp/CooperW09 conf/aplas/CooperLWY08 journals/entcs/LindleyWY11 conf/popl/2008 journals/tcs/DanvyOW07 journals/tcs/Wadler07 conf/haskell/JonesW07 conf/hopl/HudakHJW07 conf/dagstuhl/2007P7051 conf/dagstuhl/HullTW07 conf/dagstuhl/HullTW07a conf/dagstuhl/HullTW07b books/daglib/0017180 conf/fmco/CooperLWY06 conf/oopsla/Wadler06 conf/flops/2006 conf/rta/Wadler05 conf/erlang/2004 journals/iandc/Wadler03 journals/jfp/JonesW03 journals/tocl/WadlerT03 conf/icfp/Wadler03 conf/popl/SimeonW03 conf/padl/2003 journals/cn/BrownFRW02 conf/afp/Wadler02 conf/flops/SimeonW02 journals/toplas/IgarashiPW01 conf/icdt/FernandezSW01 conf/tacs/Wadler01 conf/vldb/Wadler01 conf/www/BrownFRW01 www/org/w3/TR/query-algebra journals/mala/Wadler00 conf/fsttcs/FernandezSW00 conf/icfp/2000 journals/tcs/TurnerW99 journals/tcs/MaraistOTW99 conf/oopsla/IgarashiPW99 books/sp/99/Wadler99 journals/jfp/MaraistOW98 journals/sigplan/Wadler98 journals/sigplan/Wadler98a conf/dagstuhl/OderskyRW98 conf/ecoop/BruceOW98 conf/icfp/Wadler98 conf/icsr/OderskyW98 conf/icsr/Wadler98 conf/oopsla/BrachaOSW98 journals/csur/Wadler97 journals/toplas/SabryW97 conf/dbpl/Wadler97 conf/icfp/MarlowW97 conf/popl/OderskyW97 journals/csur/Wadler96 journals/toplas/HallHJW96 conf/icfp/SabryW96 conf/lics/BentonW96 conf/afp/Wadler95 conf/fpca/TurnerWM95 conf/fpca/OderskyWW95 conf/iwmm/Wadler95 conf/popl/AriolaFMOW95 conf/slp/Wadler95 journals/entcs/MaraistOTW95 journals/lisp/Wadler94 conf/esop/HallHJW94 journals/jfp/ThompsonW93 conf/mfcs/Wadler93 conf/mfps/Wadler93 conf/popl/JonesW93 books/daglib/0080637 journals/mscs/Wadler92 journals/sigplan/FaselHPW92 journals/sigplan/HudakPWBFFGHHJKNPP92 conf/fp/HallHPJW92 conf/fp/KingW92 conf/fp/LaunchburyGHMJW92 conf/fp/MarlowW92 conf/nato/Wadler92 conf/popl/Wadler92 conf/fp/1991 conf/pepm/Wadler91 journals/tcs/Wadler90 conf/fp/DavisW90 conf/ifip2/Wadler90 conf/lfp/Wadler90 conf/fp/DavisW89 conf/fpca/Wadler89 conf/popl/WadlerB89 books/daglib/0067889 conf/esop/Wadler88 conf/popl/Wadler88 journals/sigplan/Wadler87 journals/spe/Wadler87 conf/fpca/WadlerH87 conf/popl/Wadler87 conf/gr/Wadler86 journals/spe/Wadler85 conf/fpca/Wadler85 conf/pdo/Wadler85 conf/lfp/Wadler84 conf/fpca/Wadler81 conf/popl/MorrisSW80 journals/cacm/Wadler76

a service of  Schloss Dagstuhl - Leibniz Center for Informatics