https://dblp.org/rdf/schema#affiliation
|
Imperial College London, UK
|
https://dblp.org/rdf/schema#authorOf
|
https://dblp.org/rec/journals/pacmpl/KidneyYW24 +
, https://dblp.org/rec/conf/esop/LindleyMMSWY24 +
, https://dblp.org/rec/journals/corr/abs-2402-03103 +
, https://dblp.org/rec/journals/pacmpl/MatsudaFWW23 +
, https://dblp.org/rec/journals/pacmpl/YangW23 +
, https://dblp.org/rec/conf/funarch/GibbonsKSW23 +
, https://dblp.org/rec/conf/haskell/Wu23 +
, https://dblp.org/rec/conf/heart/TahirLW23 +
, https://dblp.org/rec/conf/ppdp/BakelWT23 +
, https://dblp.org/rec/journals/corr/abs-2303-09358 +
, https://dblp.org/rec/journals/pacmpl/SpiwackKBWE22 +
, https://dblp.org/rec/journals/pacmpl/NguyenPWW22 +
, https://dblp.org/rec/journals/pacmpl/ThomsonRWS22 +
, https://dblp.org/rec/journals/pacmpl/KatsumataMUW22 +
, https://dblp.org/rec/journals/pacmpl/XiePLWYW22 +
, https://dblp.org/rec/conf/esop/YangPWBS22 +
, https://dblp.org/rec/conf/haskell/WillisWS22 +
, https://dblp.org/rec/conf/mpc/GibbonsKSW22 +
, https://dblp.org/rec/conf/mpc/NguyenW22 +
, https://dblp.org/rec/conf/mpc/YangW22 +
, https://dblp.org/rec/conf/scala/WillisW22 +
, https://dblp.org/rec/journals/corr/abs-2201-10287 +
, https://dblp.org/rec/journals/corr/abs-2202-13633 +
, https://dblp.org/rec/journals/corr/abs-2203-04608 +
, https://dblp.org/rec/journals/corr/abs-2206-09206 +
, https://dblp.org/rec/journals/corr/abs-2207-01090 +
, https://dblp.org/rec/journals/pacmpl/KidneyW21 +
, https://dblp.org/rec/journals/pacmpl/YangW21 +
, https://dblp.org/rec/conf/aplas/BergSPW21 +
, https://dblp.org/rec/conf/haskell/WillisW21 +
, https://dblp.org/rec/conf/haskell/PunchihewaW21 +
, https://dblp.org/rec/series/ifip/BirdGHHJMMMSSW21 +
, https://dblp.org/rec/journals/corr/abs-2103-06127 +
, https://dblp.org/rec/journals/corr/abs-2108-11155 +
, https://dblp.org/rec/journals/corr/abs-2112-03653 +
, https://dblp.org/rec/journals/pacmpl/WillisWP20 +
, https://dblp.org/rec/conf/haskell/PickeringLW20 +
, https://dblp.org/rec/conf/haskell/PickeringWK19 +
, https://dblp.org/rec/conf/haskell/PickeringWN19 +
, https://dblp.org/rec/conf/haskell/SchrijversPWJ19 +
, https://dblp.org/rec/conf/icfp/InnesW19 +
, https://dblp.org/rec/journals/shonan-reports/KiselyovLPW19 +
, https://dblp.org/rec/journals/pacmpl/KissPW18 +
, https://dblp.org/rec/journals/pacmpl/GibbonsHHW18 +
, https://dblp.org/rec/conf/lics/PirogSWJ18 +
, https://dblp.org/rec/conf/scala/WillisW18 +
, https://dblp.org/rec/journals/corr/abs-1805-06798 +
, https://dblp.org/rec/journals/ijmi/WongWW17 +
, https://dblp.org/rec/journals/programming/PickeringGW17 +
, https://dblp.org/rec/journals/corr/PickeringGW17 +
, https://dblp.org/rec/journals/jfp/HinzeW16 +
, https://dblp.org/rec/conf/icfp/PirogW16 +
, https://dblp.org/rec/conf/calco/PirogWG15 +
, https://dblp.org/rec/conf/mpc/WuS15 +
, https://dblp.org/rec/conf/popl/HinzeWG15 +
, https://dblp.org/rec/journals/fac/WuS14 +
, https://dblp.org/rec/conf/haskell/WuSH14 +
, https://dblp.org/rec/conf/icfp/GibbonsW14 +
, https://dblp.org/rec/conf/ppdp/SchrijversWDD14 +
, https://dblp.org/rec/conf/birthday/HinzeMW13 +
, https://dblp.org/rec/conf/icfp/HinzeW13 +
, https://dblp.org/rec/conf/icfp/HinzeWG13 +
, https://dblp.org/rec/conf/icfp/HinzeJHWM12 +
, https://dblp.org/rec/conf/ifl/WuMBS12 +
, https://dblp.org/rec/conf/icfp/HinzeW11 +
, https://dblp.org/rec/conf/icfp/WangGW11 +
, https://dblp.org/rec/phd/ethos/Wu10b +
, https://dblp.org/rec/conf/asm/WuS10 +
|
https://dblp.org/rdf/schema#coCreatorWith
|
https://dblp.org/pid/46/5015 +
, https://dblp.org/pid/300/4064 +
, https://dblp.org/pid/47/929 +
, https://dblp.org/pid/b/RichardSBird +
, https://dblp.org/pid/19/8147 +
, https://dblp.org/pid/d/BartDemoen +
, https://dblp.org/pid/132/9315 +
, https://dblp.org/pid/119/7138 +
, https://dblp.org/pid/307/2844 +
, https://dblp.org/pid/53/1090 +
, https://dblp.org/pid/42/540 +
, https://dblp.org/pid/h/FritzHenglein +
, https://dblp.org/pid/h/RalfHinze +
, https://dblp.org/pid/98/7040 +
, https://dblp.org/pid/245/8497 +
, https://dblp.org/pid/69/9256 +
, https://dblp.org/pid/91/5144 +
, https://dblp.org/pid/j/JohanJeuring +
, https://dblp.org/pid/00/5408 +
, https://dblp.org/pid/300/6894 +
, https://dblp.org/pid/78/3192 +
, https://dblp.org/pid/220/3955 +
, https://dblp.org/pid/97/4946 +
, https://dblp.org/pid/46/2165 +
, https://dblp.org/pid/l/WayneLuk +
, https://dblp.org/pid/79/7405 +
, https://dblp.org/pid/205/1554 +
, https://dblp.org/pid/28/6926 +
, https://dblp.org/pid/203/8252 +
, https://dblp.org/pid/m/LGLTMeertens +
, https://dblp.org/pid/m/BernhardMoller +
, https://dblp.org/pid/m/CarrollMorgan +
, https://dblp.org/pid/195/5703 +
, https://dblp.org/pid/176/8798 +
, https://dblp.org/pid/83/2833 +
, https://dblp.org/pid/117/3689 +
, https://dblp.org/pid/27/2651 +
, https://dblp.org/pid/186/0200 +
, https://dblp.org/pid/53/10735 +
, https://dblp.org/pid/p/GordonDPlotkin +
, https://dblp.org/pid/143/2646 +
, https://dblp.org/pid/241/7970 +
, https://dblp.org/pid/322/8890 +
, https://dblp.org/pid/s/TomSchrijvers +
, https://dblp.org/pid/s/AndrewCSimpson +
, https://dblp.org/pid/58/6566 +
, https://dblp.org/pid/07/197 +
, https://dblp.org/pid/96/3469 +
, https://dblp.org/pid/20/3694 +
, https://dblp.org/pid/198/6371 +
, https://dblp.org/pid/358/5214 +
, https://dblp.org/pid/u/TarmoUustalu +
, https://dblp.org/pid/93/6765 +
, https://dblp.org/pid/93/6765-2 +
, https://dblp.org/pid/04/10427 +
, https://dblp.org/pid/231/5138 +
, https://dblp.org/pid/47/318-1 +
, https://dblp.org/pid/217/4747 +
, https://dblp.org/pid/35/6244 +
, https://dblp.org/pid/174/0826 +
|
https://dblp.org/rdf/schema#creatorName
|
Nicolas Wu
|
https://dblp.org/rdf/schema#editorOf
|
https://dblp.org/rec/conf/sfp/2022 +
, https://dblp.org/rec/conf/haskell/2018 +
, https://dblp.org/rec/conf/ifl/2017 +
|
https://dblp.org/rdf/schema#homepage
|
https://www.imperial.ac.uk/people/n.wu +
, http://zenzike.com/ +
|
https://dblp.org/rdf/schema#orcid
|
https://orcid.org/0000-0002-4161-985X +
|
https://dblp.org/rdf/schema#primaryAffiliation
|
Imperial College London, UK
|
https://dblp.org/rdf/schema#primaryCreatorName
|
Nicolas Wu
|
https://dblp.org/rdf/schema#primaryHomepage
|
https://www.imperial.ac.uk/people/n.wu +
|
https://dblp.org/rdf/schema#webpage
|
https://scholar.google.com/citations?user=0E8zPucAAAAJ +
, https://dl.acm.org/profile/81548022559 +
|
https://dblp.org/rdf/schema#wikidata
|
http://www.wikidata.org/entity/Q88620410 +
|
owl:sameAs |
https://orcid.org/0000-0002-4161-985X +
, http://www.wikidata.org/entity/Q88620410 +
|
rdf:type |
https://dblp.org/rdf/schema#Creator +
, https://dblp.org/rdf/schema#Person +
|
rdfs:label |
Nicolas Wu
|