Остановите войну!
for scientists:
default search action
dblp keys for Philip Wadler
- > Home > Persons > 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:49 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint