Browse Wiki & Semantic Web

Jump to: navigation, search
Https://dblp.org/pid/h/RobertHarper
  This page has no properties.
hide properties that link here 
  No properties link to this page.
 
https://dblp.org/pid/h/RobertHarper
https://dblp.org/rdf/schema#affiliation Carnegie Mellon University, School of Computer Science, Pittsburgh, USA , University of Edinburgh, Laboratory for Foundations of Computer Science, UK
https://dblp.org/rdf/schema#authorOf https://dblp.org/rec/journals/pacmpl/GrodinNSH24 + , https://dblp.org/rec/journals/corr/abs-2404-00212 + , https://dblp.org/rec/journals/corr/abs-2404-03641 + , https://dblp.org/rec/conf/calco/000123 + , https://dblp.org/rec/conf/calco/Grodin023 + , https://dblp.org/rec/conf/lics/Niu023 + , https://dblp.org/rec/journals/corr/abs-2303-16048 + , https://dblp.org/rec/journals/corr/abs-2307-05938 + , https://dblp.org/rec/journals/corr/abs-2309-00192 + , https://dblp.org/rec/journals/corr/abs-2309-11056 + , https://dblp.org/rec/journals/pacmpl/NiuSGH22 + , https://dblp.org/rec/conf/fscd/Sterling022 + , https://dblp.org/rec/journals/corr/abs-2204-09421 + , https://dblp.org/rec/journals/corr/abs-2209-12669 + , https://dblp.org/rec/journals/jacm/SterlingH21 + , https://dblp.org/rec/journals/lmcs/CavalloH21 + , https://dblp.org/rec/journals/mscs/AngiuliBCHHL21 + , https://dblp.org/rec/journals/corr/abs-2106-01484 + , https://dblp.org/rec/journals/corr/abs-2107-04663 + , https://dblp.org/rec/journals/pacmpl/MacQueenHR20 + , https://dblp.org/rec/conf/csl/Cavallo020 + , https://dblp.org/rec/journals/corr/abs-2005-11290 + , https://dblp.org/rec/journals/corr/abs-2010-08599 + , https://dblp.org/rec/journals/corr/abs-2011-03660 + , https://dblp.org/rec/journals/pacmpl/CavalloH19 + , https://dblp.org/rec/journals/pacmpl/TassarottiH19 + , https://dblp.org/rec/journals/corr/abs-1901-00489 + , https://dblp.org/rec/journals/pacmpl/MullerA018 + , https://dblp.org/rec/journals/tcs/Harper18 + , https://dblp.org/rec/conf/csl/AngiuliF018 + , https://dblp.org/rec/conf/itp/Tassarotti018 + , https://dblp.org/rec/conf/lics/SterlingH18 + , https://dblp.org/rec/journals/corr/abs-1807-01869 + , https://dblp.org/rec/journals/corr/abs-1801-01568 + , https://dblp.org/rec/journals/corr/abs-1802-02951 + , https://dblp.org/rec/journals/corr/abs-1804-09098 + , https://dblp.org/rec/journals/corr/abs-1807-03703 + , https://dblp.org/rec/journals/jfp/HouBH17 + , https://dblp.org/rec/conf/esop/TassarottiJ017 + , https://dblp.org/rec/conf/pldi/MullerA017 + , https://dblp.org/rec/conf/popl/AngiuliHW17 + , https://dblp.org/rec/conf/popl/KumarBH17 + , https://dblp.org/rec/journals/corr/TassarottiJH17 + , https://dblp.org/rec/journals/corr/SterlingH17 + , https://dblp.org/rec/journals/corr/abs-1712-01800 + , https://dblp.org/rec/books/cu/Ha2016 + , https://dblp.org/rec/journals/jfp/AngiuliMLH16 + , https://dblp.org/rec/conf/types/Favonia016 + , https://dblp.org/rec/journals/corr/Angiuli0W16 + , https://dblp.org/rec/journals/corr/AngiuliH16 + , https://dblp.org/rec/journals/cacm/BlellochH15 + , https://dblp.org/rec/journals/siglog/AwodeyH15 + , https://dblp.org/rec/journals/corr/HarperH15 + , https://dblp.org/rec/conf/icfp/AngiuliMLH14 + , https://dblp.org/rec/conf/popl/BlellochH13 + , https://dblp.org/rec/conf/popl/LicataH12 + , https://dblp.org/rec/conf/popl/GordonHHJS11 + , https://dblp.org/rec/journals/entcs/LicataH11 + , https://dblp.org/rec/journals/corr/abs-1106-0447 + , https://dblp.org/rec/journals/jfp/SpoonhowerBHG08 + , https://dblp.org/rec/conf/tldi/AvijitDH10 + , https://dblp.org/rec/journals/corr/abs-1009-2793 + , https://dblp.org/rec/journals/jfp/Harper09 + , https://dblp.org/rec/journals/sigplan/AllenACFFGHHSWZ09 + , https://dblp.org/rec/journals/toplas/AcarBBHT09 + , https://dblp.org/rec/conf/icfp/LicataH09 + , https://dblp.org/rec/conf/plpv/LicataH09 + , https://dblp.org/rec/conf/sigcse/BaileyBFHR09 + , https://dblp.org/rec/conf/spaa/SpoonhowerBGH09 + , https://dblp.org/rec/conf/tlca/HarperLZ09 + , https://dblp.org/rec/journals/sigplan/AllenBBBFFHKKLLLPRRSTW08 + , https://dblp.org/rec/journals/sigplan/Harper08 + , https://dblp.org/rec/conf/icfp/SpoonhowerBHG08 + , https://dblp.org/rec/conf/lics/LicataZH08 + , https://dblp.org/rec/journals/jfp/HarperL07 + , https://dblp.org/rec/conf/popl/DreyerHCK07 + , https://dblp.org/rec/conf/popl/LeeCH07 + , https://dblp.org/rec/conf/tgc/VIICH07 + , https://dblp.org/rec/journals/entcs/CraryH07 + , https://dblp.org/rec/journals/sigact/CraryH06 + , https://dblp.org/rec/journals/tocl/StoneH06 + , https://dblp.org/rec/journals/toplas/AcarBH06 + , https://dblp.org/rec/conf/ml/SwaseyVCH06 + , https://dblp.org/rec/journals/corr/abs-cs-0607141 + , https://dblp.org/rec/journals/tocl/HarperP05 + , https://dblp.org/rec/conf/csl/VIICH05 + , https://dblp.org/rec/conf/icfp/Harper05 + , https://dblp.org/rec/conf/tldi/ChlipalaPH05 + , https://dblp.org/rec/conf/vee/SpoonhowerBH05 + , https://dblp.org/rec/journals/entcs/AcarBBHT06 + , https://dblp.org/rec/journals/lisp/BasinDH04 + , https://dblp.org/rec/conf/icalp/Harper04 + , https://dblp.org/rec/conf/icassp/HarperJ04 + , https://dblp.org/rec/conf/lics/Harper04 + , https://dblp.org/rec/conf/lics/VIICHP04 + , https://dblp.org/rec/conf/soda/AcarBHVW04 + , https://dblp.org/rec/journals/lisp/NanevskiBH03 + , https://dblp.org/rec/journals/tcs/ColbyCHLP03 + , https://dblp.org/rec/conf/icfp/MandelbaumWH03 + , https://dblp.org/rec/conf/popl/AcarBH03 + , https://dblp.org/rec/conf/popl/PetersenHCP03 + , https://dblp.org/rec/conf/popl/DreyerCH03 + , https://dblp.org/rec/conf/tldi/VanderwaartDPCHC03 + , https://dblp.org/rec/conf/grid/ChangCDHLVP02 + , https://dblp.org/rec/conf/popl/AcarBH02 + , https://dblp.org/rec/journals/bsl/HalpernHIKVV01 + , https://dblp.org/rec/journals/jfp/BlellochBCHMW01 + , https://dblp.org/rec/journals/lisp/BiagioniHL01 + , https://dblp.org/rec/conf/dagstuhl/SchneiderMH01 + , https://dblp.org/rec/conf/icfp/XiH01 + , https://dblp.org/rec/conf/icfp/NanevskiBH01 + , https://dblp.org/rec/journals/corr/cs-LO-0110028 + , https://dblp.org/rec/conf/birthday/HarperS00 + , https://dblp.org/rec/conf/icfp/HarperP00 + , https://dblp.org/rec/conf/popl/StoneH00 + , https://dblp.org/rec/journals/iandc/BirkedalH99 + , https://dblp.org/rec/journals/ipl/HarperM99 + , https://dblp.org/rec/journals/jfp/Harper99 + , https://dblp.org/rec/conf/pldi/CraryHP99 + , https://dblp.org/rec/journals/logcom/HarperP98 + , https://dblp.org/rec/conf/pldi/ChengHL98 + , https://dblp.org/rec/conf/tic/BernardHL98 + , https://dblp.org/rec/journals/sigplan/HarperM97 + , https://dblp.org/rec/conf/tacs/BirkedalH97 + , https://dblp.org/rec/journals/entcs/MorrisettH97 + , https://dblp.org/rec/journals/csur/HarperL96 + , https://dblp.org/rec/journals/csur/HarperM96 + , https://dblp.org/rec/journals/ipl/Harper96 + , https://dblp.org/rec/journals/jfp/HarperL96 + , https://dblp.org/rec/conf/pldi/TarditiMCSHL96 + , https://dblp.org/rec/conf/pldi/TarditiMCSHL96a + , https://dblp.org/rec/conf/popl/MinamideMH96 + , https://dblp.org/rec/conf/fpca/MorrisettFH95 + , https://dblp.org/rec/conf/popl/HarperM95 + , https://dblp.org/rec/journals/apal/HarperST94 + , https://dblp.org/rec/journals/ipl/Harper94 + , https://dblp.org/rec/conf/lfp/BiagioniHLM94 + , https://dblp.org/rec/conf/popl/HarperL94 + , https://dblp.org/rec/journals/jacm/HarperHP93 + , https://dblp.org/rec/journals/jfp/HarperDM93 + , https://dblp.org/rec/journals/lisp/HarperL93 + , https://dblp.org/rec/journals/toplas/HarperM93 + , https://dblp.org/rec/conf/popl/HarperL93 + , https://dblp.org/rec/journals/jsc/Harper92 + , https://dblp.org/rec/journals/tcs/HarperP91 + , https://dblp.org/rec/conf/popl/HarperP91 + , https://dblp.org/rec/conf/popl/DubaHM91 + , https://dblp.org/rec/books/daglib/0069232 + , https://dblp.org/rec/conf/popl/HarperMM90 + , https://dblp.org/rec/conf/ctcs/HarperST89 + , https://dblp.org/rec/conf/lics/HarperST89 + , https://dblp.org/rec/conf/tapsoft/HarperP89 + , https://dblp.org/rec/conf/popl/MitchellH88 + , https://dblp.org/rec/conf/lics/HarperHP87 + , https://dblp.org/rec/conf/tapsoft/HarperMT87 + , https://dblp.org/rec/books/daglib/0068834 + , https://dblp.org/rec/phd/us/Harper85 + , https://dblp.org/rec/conf/db-workshops/Harper85 +
https://dblp.org/rdf/schema#coCreatorWith https://dblp.org/pid/44/3421 + , https://dblp.org/pid/83/5539 + , https://dblp.org/pid/91/11393 + , https://dblp.org/pid/06/62 + , https://dblp.org/pid/154/2030 + , https://dblp.org/pid/76/2207 + , https://dblp.org/pid/50/4019 + , https://dblp.org/pid/68/3908 + , https://dblp.org/pid/b/MarkWBailey + , https://dblp.org/pid/21/1018 + , https://dblp.org/pid/b/DavidABasin + , https://dblp.org/pid/b/NickBenton + , https://dblp.org/pid/10/4364 + , https://dblp.org/pid/91/63 + , https://dblp.org/pid/31/910 + , https://dblp.org/pid/b/GEBlelloch + , https://dblp.org/pid/b/MatthiasBlume + , https://dblp.org/pid/20/1858 + , https://dblp.org/pid/92/4322 + , https://dblp.org/pid/b/KimBBruce + , https://dblp.org/pid/138/7305 + , https://dblp.org/pid/97/2635 + , https://dblp.org/pid/213/7511 + , https://dblp.org/pid/21/1656 + , https://dblp.org/pid/68/6029 + , https://dblp.org/pid/78/353 + , https://dblp.org/pid/52/796 + , https://dblp.org/pid/c/RCleaveland + , https://dblp.org/pid/64/204 + , https://dblp.org/pid/c/RobertLConstable + , https://dblp.org/pid/59/3944 + , https://dblp.org/pid/82/5193 + , https://dblp.org/pid/67/10010 + , https://dblp.org/pid/26/1816 + , https://dblp.org/pid/d/OlivierDanvy + , https://dblp.org/pid/d/AnupamDatta + , https://dblp.org/pid/37/6025 + , https://dblp.org/pid/187/5199 + , https://dblp.org/pid/d/DerekDreyer + , https://dblp.org/pid/06/1994 + , https://dblp.org/pid/157/8425 + , https://dblp.org/pid/f/MFelleisen + , https://dblp.org/pid/83/5986 + , https://dblp.org/pid/f/MatthewFluet + , https://dblp.org/pid/18/2050 + , https://dblp.org/pid/93/2065 + , https://dblp.org/pid/g/PhillipBGibbons + , https://dblp.org/pid/g/AndrewDGordon + , https://dblp.org/pid/297/3316 + , https://dblp.org/pid/g/DanGrossman + , https://dblp.org/pid/h/JosephYHalpern + , https://dblp.org/pid/72/960-1 + , https://dblp.org/pid/90/6992 + , https://dblp.org/pid/19/6791 + , https://dblp.org/pid/57/4488 + , https://dblp.org/pid/i/NeilImmerman + , https://dblp.org/pid/89/740 + , https://dblp.org/pid/75/4143 + , https://dblp.org/pid/54/4483-2 + , https://dblp.org/pid/87/6127 + , https://dblp.org/pid/06/4003 + , https://dblp.org/pid/k/PGKolaitis + , https://dblp.org/pid/87/1311 + , https://dblp.org/pid/k/SKrishnamurthi + , https://dblp.org/pid/192/0474 + , https://dblp.org/pid/l/JamesRLarus + , https://dblp.org/pid/l/DougLea + , https://dblp.org/pid/66/2755 + , https://dblp.org/pid/94/1432 + , https://dblp.org/pid/l/PeterLee1 + , https://dblp.org/pid/357/3773 + , https://dblp.org/pid/47/1513 + , https://dblp.org/pid/99/6098 + , https://dblp.org/pid/82/6188 + , https://dblp.org/pid/54/6101 + , https://dblp.org/pid/84/3383 + , https://dblp.org/pid/09/3669 + , https://dblp.org/pid/46/3262 + , https://dblp.org/pid/m/GaryLMiller + , https://dblp.org/pid/m/RobinMilner + , https://dblp.org/pid/75/6612 + , https://dblp.org/pid/27/2249 + , https://dblp.org/pid/m/JohnCMitchell + , https://dblp.org/pid/m/EugenioMoggi + , https://dblp.org/pid/154/2268 + , https://dblp.org/pid/m/JGMorrisett + , https://dblp.org/pid/162/0450 + , https://dblp.org/pid/70/3373 + , https://dblp.org/pid/23/6942 + , https://dblp.org/pid/p/PPanangaden + , https://dblp.org/pid/96/5317 + , https://dblp.org/pid/p/FPfenning + , https://dblp.org/pid/p/BenjaminCPierce + , https://dblp.org/pid/p/GordonDPlotkin + , https://dblp.org/pid/47/2490 + , https://dblp.org/pid/p/LLPollock + , https://dblp.org/pid/98/1843 + , https://dblp.org/pid/r/StuartReges + , https://dblp.org/pid/r/JohnHReppy + , https://dblp.org/pid/r/MartinCRinard + , https://dblp.org/pid/s/DonaldSannella + , https://dblp.org/pid/25/4995 + , https://dblp.org/pid/s/FredBSchneider + , https://dblp.org/pid/74/185 + , https://dblp.org/pid/74/2146 + , https://dblp.org/pid/s/YSmaragdakis + , https://dblp.org/pid/s/ScottFSmith + , https://dblp.org/pid/51/4877 + , https://dblp.org/pid/153/1729 + , https://dblp.org/pid/99/6639 + , https://dblp.org/pid/20/5607 + , https://dblp.org/pid/64/4316 + , https://dblp.org/pid/91/6365 + , https://dblp.org/pid/t/AndrzejTarlecki + , https://dblp.org/pid/07/11515 + , https://dblp.org/pid/91/6552 + , https://dblp.org/pid/61/3413 + , https://dblp.org/pid/74/5187 + , https://dblp.org/pid/v/MosheYVardi + , https://dblp.org/pid/v/VictorVianu + , https://dblp.org/pid/40/4057 + , https://dblp.org/pid/28/6294 + , https://dblp.org/pid/53/5714-1 + , https://dblp.org/pid/w/NoelWalkington + , https://dblp.org/pid/w/MitchellWand + , https://dblp.org/pid/08/3820 + , https://dblp.org/pid/159/8712 + , https://dblp.org/pid/11/814 + , https://dblp.org/pid/x/HongweiXi + , https://dblp.org/pid/78/10015 + , https://dblp.org/pid/99/3437 + , https://dblp.org/pid/17/126 +
https://dblp.org/rdf/schema#creatorName Robert Harper , Robert William Harper Jr.
https://dblp.org/rdf/schema#editorOf https://dblp.org/rec/conf/tic/2000 + , https://dblp.org/rec/conf/icfp/1996 +
https://dblp.org/rdf/schema#homepage http://www.cs.cmu.edu/~rwh/ +
https://dblp.org/rdf/schema#orcid https://orcid.org/0000-0002-9400-2941 +
https://dblp.org/rdf/schema#primaryAffiliation Carnegie Mellon University, School of Computer Science, Pittsburgh, USA
https://dblp.org/rdf/schema#primaryCreatorName Robert Harper
https://dblp.org/rdf/schema#primaryHomepage http://www.cs.cmu.edu/~rwh/ +
https://dblp.org/rdf/schema#webpage https://dl.acm.org/profile/81100140064 + , https://zbmath.org/authors/?q=ai:harper.robert + , https://mathscinet.ams.org/mathscinet/MRAuthorID/275243 + , https://mathgenealogy.org/id.php?id=50068 + , https://github.com/RobertHarper +
https://dblp.org/rdf/schema#wikidata http://www.wikidata.org/entity/Q7345273 +
https://dblp.org/rdf/schema#wikipedia https://en.wikipedia.org/wiki/Robert_Harper_%28computer_scientist%29 +
owl:sameAs https://orcid.org/0000-0002-9400-2941 + , http://www.wikidata.org/entity/Q7345273 + , http://isni.org/isni/0000000082870114 + , https://viaf.org/viaf/60655076 + , https://id.loc.gov/authorities/names/n88680094 + , https://id.loc.gov/authorities/names/n88294952 + , https://d-nb.info/gnd/122947746 +
rdf:type https://dblp.org/rdf/schema#Creator + , https://dblp.org/rdf/schema#Person +
rdfs:label Robert Harper 0001
hide properties that link here 
  This page has no properties.
 

 

Enter the name of the page to start semantic browsing from.
Retrieved from "http://www.b-kaempgen.de/index.php/Special:BrowseSW/https:-2F-2Fdblp.org-2Fpid-2Fh-2FRobertHarper"