DBLP Keys for 'Robert Harper'

# of records = 94

homepages/h/RobertHarper conf/icfp/LicataH09 conf/sigcse/BaileyBFHR09 conf/spaa/SpoonhowerBGH09 conf/tlca/HarperLZ09 journals/jfp/Harper09 conf/icfp/SpoonhowerBHG08 conf/lics/LicataZH08 journals/ivs/EcclesKHW08 journals/sigplan/AllenBBBFFHKKLLLPRRSTW08 journals/sigplan/Harper08 conf/popl/LeeCH07 conf/popl/DreyerHCK07 conf/tgc/VIICH07 journals/entcs/CraryH07 journals/cga/ProulxCHSKJW07 journals/jfp/HarperL07 conf/cbms/AinsworthHJB06 conf/ml/SwaseyVCH06 journals/tocl/StoneH06 journals/toplas/AcarBH06 journals/corr/abs-cs-0607141 journals/entcs/AcarBBHT06 journals/sigact/CraryH06 conf/csl/VIICH05 conf/icfp/Harper05 conf/tldi/ChlipalaPH05 conf/vee/SpoonhowerBH05 journals/tocl/HarperP05 conf/icalp/Harper04 conf/lics/Harper04 conf/lics/VIICHP04 conf/soda/AcarBHVW04 journals/lisp/BasinDH04 conf/icfp/MandelbaumWH03 conf/popl/AcarBH03 conf/popl/PetersenHCP03 conf/popl/DreyerCH03 conf/tldi/VanderwaartDPCHC03 journals/lisp/NanevskiBH03 journals/tcs/ColbyCHLP03 conf/grid/ChangCDHLVP02 conf/popl/AcarBH02 conf/tic/2000 conf/icfp/XiH01 conf/icfp/NanevskiBH01 conf/dagstuhl/SchneiderMH01 journals/bsl/HalpernHIKVV01 journals/corr/cs-LO-0110028 journals/lisp/BiagioniHL01 journals/jfp/BlellochBCHMW01 conf/icfp/HarperP00 conf/popl/StoneH00 conf/birthday/HarperS00 conf/pldi/CraryHP99 journals/iandc/BirkedalH99 journals/ipl/HarperM99 journals/jfp/Harper99 conf/pldi/ChengHL98 conf/tic/BernardHL98 journals/logcom/HarperP98 conf/tacs/BirkedalH97 journals/entcs/MorrisettH97 journals/sigplan/HarperM97 conf/pldi/TarditiMCSHL96a conf/pldi/TarditiMCSHL96 conf/popl/MinamideMH96 journals/csur/HarperL96 journals/csur/HarperM96 journals/ipl/Harper96 journals/jfp/HarperL96 conf/fpca/MorrisettFH95 conf/popl/HarperM95 conf/lfp/BiagioniHLM94 conf/popl/HarperL94 journals/apal/HarperST94 journals/ipl/Harper94 conf/popl/HarperL93 journals/toplas/HarperM93 journals/jacm/HarperHP93 journals/jfp/HarperDM93 journals/lisp/HarperL93 journals/jsc/Harper92 conf/popl/HarperP91 conf/popl/DubaHM91 journals/tcs/HarperP91 conf/popl/HarperMM90 conf/ctcs/HarperST89 conf/lics/HarperST89 conf/tapsoft/HarperP89 conf/popl/MitchellH88 conf/lics/HarperHP87 conf/tapsoft/HarperMT87 conf/db-workshops/Harper85

XML