| | Shen, CChen, JLi, RZhang, MWang, GStegalkina, SZhang, LChen, JCao, JBi, XAnderson, SFAlefantis, TZhang, MCai, XYang, KZheng, QFang, MYu, HLuo, WZheng, ZYuan, QZhang, JWai-Kuo Shih, JKleanthous, HChen, HChen, YXia, N | 2017 |
| | | 2020 |
| Consistent Subtyping for AllProceeding/Conference:Proceedings of the 27th European Symposium on Programming (ESOP 2018): Programming Languages and Systems | | 2018 |
| | | 1-Dec-2023 |
| Disjoint intersection typesProceeding/Conference:Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming | | 2016 |
| | | 2019 |
| | | 2009 |
| | Hemelt, MHu, ZZhong, ZXie, LPWong, YCTam, PCCheng, KKYe, ZBi, XLu, QMao, YZhong, WDZeegers, MP | 2010 |
| | Klionsky, DJAbdalla, FCAbeliovich, HAbraham, RTAcevedoArozena, AAdeli, KAgholme, LAgnello, MAgostinis, PAguirreGhiso, JAAhn, HJLe Cam, LApostolova, NFurukawa, RHGaestel, MGailly, PGajewska, MNogalska, AGalliot, BGaly, VGanesh, SSpringer, WBeau, IGanetzky, BGanley, IGGao, FBArancia, GGao, GFGao, JTettamanti, GGarcia, LGarciaManero, GGarciaMarcos, MTaegtmeyer, HGarmyn, MBultynck, GGartel, ALGatti, EGautel, MGawriluk, TRAris, JPBortoluci, KRGegg, MEGeng, JLedbetter, DJGermain, MGestwicki, JEGewirtz, DASrinivasula, SMGhavami, SGhosh, PGiammarioli, AMGiatromanolaki, ANNoguchi, SGibson, SBLee, AJXAsanuma, KGilkerson, RWGinger, MLGinsberg, HNGolab, JStefanis, LGoligorsky, MSGolstein, PGomezManzano, CNotterpek, LLee, BWGoncu, EGongora, CGonzalez, CDAsare, NYOGonzalez, RGonzálezEstévez, CGonzálezPolo, RASteffan, JSGonzalezRey, EGorbunov, NVLee, GMNovak, IGorski, SGoruppi, SGottlieb, RAGozuacik, DGranato, GEAshida, HGrant, GDGreen, KNStendel, RLee, JGregorc, ANozaki, TGros, FGrose, CGrunt, TWGual, PGuan, JLGuan, KLGuichard, SMAskanas, VLee, JHGukovskaya, ASStenmark, HNukina, NGukovsky, IGunst, JGustafsson, ABHalayko, AJHale, ANHalonen, SKHamasaki, MLee, MHan, FHan, TAskew, DSNürnberger, TStephanou, AHancock, MKHansen, MHarada, HHarada, MHardt, SEOsborne, TFPagnini, UHarper, JWHarris, ALHarris, JHarris, SDNyfeler, BHashimoto, MStern, STAuberger, PHaspel, JAHayashi, SILee, MSHazelhurst, LAHe, CHe, YWHébert, MJHeidenreich, KAObara, KHelfrich, MHHelgason, GVSternberg, CHenske, EPLee, SHBaba, MHerman, BHerman, PKHetz, CHilfiker, SHill, JAOberley, TDHocking, LJHofman, PHofmann, TGLeeuwenburgh, CStork, BHöhfeld, JHolyoake, TLBackues, SKHong, MHHood, DAHotamisligil, GSThevissen, KHouwerzijl, EJHøyerHansen, MTafani, MHu, BHu, CAAStrålfors, PHu, HMHua, YHuang, CBaehrecke, EHHuang, JOddo, SHuang, SBéchet, DMHuang, WPHuber, TBHuh, WKHung, THBurbulla, LFHupp, TRHur, GMHurley, JBHussain, SNABossis, ILegembre, PBahr, BAHussey, PJHwang, JJHwang, SIchihara, AIlkhanizadeh, SSubauste, CSInoki, KInto, TIovane, VLegouis, ROgawa, MIovanna, JLIp, NYBai, XYIsaka, YIshida, HIsidoro, CIsobe, KISui, XIwasaki, ALehmann, MIzquierdo, MOhashi, TIzumi, YJaakkola, PMJäättelä, MJackson, GRBailly, YJackson, WTJanji, BJendrach, MLei, HYSulzer, DJeon, JHOkamoto, KJeung, EBJiang, HJiang, HJiang, JXJiang, MJiang, QBaiocchi, RKim, HRLei, QYJiang, XJiménez, ASun, JOleinick, NLJin, MJin, SJoe, COJohansen, TJohnson, DEJohnson, GVWTavernarakis, NJones, NLJoseph, BBaldini, GJoseph, SKOliver, FJSun, SYJoubert, AMJuhász, GJuilleratJeanneret, LJung, CHThorburn, AJung, YKKaarniranta, KKaasik, AKabuta, TKadowaki, MOlsen, LJBalduini, WSun, ZJKagedal, KKamada, YLeib, DAKaminskyy, VOKampinga, HHKanamori, HKang, CKang, KBIl Kang, KOlsson, SKang, RKang, YASung, JJYLeiro, JBallabio, AKanki, TKanneganti, TDKanno, HKanthasamy, AGKanthasamy, AKarantza, VOpota, OKaushal, GPKaushik, SLemasters, JJKawazoe, YSuzuki, KKe, PYBamber, BAKehrl, JHKelekar, AKerkhoff, CKessel, DHThompson, CBKhalil, HLemoine, AKiel, JAKWKiger, AAKihara, ASuzuki, TKim, DRKim, DHBampton, ETWKim, DHKim, EKTakácsVellai, KLesniak, MSBegley, TJKim, JSLev, DLevenson, VVLevine, BPallet, NLevy, ELi, FLi, JLLi, LLi, STakano, YKim, JHLi, WLi, XJBehl, CLi, YBPalmer, GELi, YPLiang, CLiang, QLiao, YFLiberski, PPKim, JCLieberman, ATakegawa, KLim, HJLim, KLLim, KPalumbo, CBehrends, CLin, CFLin, FCLin, JKim, JKLin, JDLin, KLin, WWButchar, JPLin, WCLin, YLBourquin, JPLinden, RLingor, PBekri, SSwanson, MSLippincottSchwartz, JLisanti, MPLiton, PBLiu, BLiu, CFTakemura, GLiu, KPan, TLiu, LLiu, QAKim, PKLiu, WLiu, YCBellaire, BLiu, YLockshin, RALok, CNLonial, STakeshita, FPanaretakis, TLoos, BKim, SWLopezBerestein, GLópezOtín, CLossi, LLotze, MTLõw, PBendall, LJLu, BLu, BLu, BPandey, UBKim, YSTalbot, NJLu, ZLuciano, FLukacs, NWLund, AHLynchDay, MAMa, YMacian, FBenetti, LMacKeigan, JPBánhegyi, GPapackova, ZMacleod, KFTan, KSWMadeo, FMaiuri, LMaiuri, MCMalagoli, DMalicdan, MCVMalorni, WMan, NOstrander, GKMandelkow, EMPapassideri, IBerliocchi, LManon, STanaka, KManov, IMao, KMao, XMao, ZMarambaud, PKim, YMarazziti, DMarcel, YLMograbi, BParis, IMarchbank, KMarchetti, PBernardi, HTanaka, KMarciniak, SJMarcondes, MKimchi, AMardi, MMarfe, GMariño, GMarkaki, MBrunettiPierri, NMarten, MRMartin, SJMartinandMari, CMartinet, WTang, DKimmelman, ACBernassola, FMartinezVicente, MMasini, MMatarrese, PMatsuo, SBydlowski, SPMatteoni, RMayer, AMazure, NMMcConkey, DJKing, JSMcConnell, MJTang, DMcDermott, CBesteiro, SMcDonald, CMcInerney, GMPark, JMcKenna, SLMcLaughlin, BMcLean, PJKinsella, TJMcMaster, CRMcQuibban, GAMeijer, AJTanida, IMeisler, MHMeléndez, ABhatiaKissova, IPark, OKMelia, TJMelino, GKirkin, VMena, MAMenendez, JAMennaBarreto, RFSMenon, MBMenzies, FMTannous, BAMercer, CAMerighi, AParys, JBMerry, DEBursch, WBi, XMeschini, SMeyer, CGMeyer, TFMiao, CYMiao, JYMichels, PAMBuzgariu, WMichiels, CParzych, KRKirshenbaum, LAMijaljica, DMilojkovic, AMinucci, SBiardPiechaczyk, MMiracco, CMiranti, CKMitroulis, IMiyazawa, KMizushima, NBoya, PKitamoto, KPatschan, SPatterson, CMohseni, SPattingre, SPawelek, JMPeng, JThumm, MPerlmutter, DHPerrotta, IPerry, GKitazato, KPervaiz, SPeter, MBoyerGuittaut, MMolero, XPeters, GJPetersen, MPetrovski, GPhang, JMTian, FPiacentini, MBost, FPierre, PPierrefiteCarle, VPierron, GPinkasKramarski, RMollereau, BPiras, ABozhkov, PVPiri, NPlatanias, LCPöggeler, SKlein, LTian, YPoirot, MPoletti, APoüs, CPozueloRubio, MMollinedo, FPrætoriusIbba, MPrasad, APrescott, MBrady, NRBartholomew, CRPriault, MProduitZengaffinen, NTocchiniValentini, GProgulskeFox, AProikasCezanne, TPrzedborski, SBlum, JSPrzyklenk, KPuertollano, RPuyal, JKlimecki, WTQian, SBQin, LBrancolini, CQin, ZHTolkovsky, AMQuaggin, SERaben, NMomoi, TRabinowich, HRabkin, SWKlucken, JRahman, IRami, ARamm, GRandall, GRandow, FBrech, ATomino, YRao, VAMonastyrska, IRathmell, JCKnecht, ERavikumar, BRay, SKReed, BHReed, JCReggiori, FRégnierVigouroux, AReichert, ASReiners Jr, JJTönges, LMonick, MMKo, BCBBrenman, JEReiter, RJRen, JRevuelta, JLRhodes, CJRitis, KRizzo, ERobbins, JRoberge, MRoca, HKoch, JCMonteiro, MJTooze, SARoccheri, MCBrennand, ARocchi, SRodemann, HPDe Córdoba, SRRohrer, BRoninson, IBRosen, KSwanton, CRostRoszkowska, MMTaylor, GSRouis, MTournier, CRouschop, KMARovetta, FBresnick, EHRubin, BPRubinsztein, DCRuckdeschel, KKoga, HRucker III, EBRudich, AMoore, MNRudolf, ERuizOpazo, NShi, YTower, JRusso, RRusten, TERyan, KMKoh, JYBrest, PRyter, SWSabatini, DMMora, RSadoshima, JSaha, TSaitoh, TSakagami, HAitMohamed, OSakai, YOtsu, KSalekdeh, GHSalomoni, PSalvaterra, PMBridges, DMoreau, KSalvesen, GSalvioli, RSanchez, AMJSánchezAlcázar, JASánchezPrieto, RKoh, YHCadwell, KSandri, MSankar, USansanwal, PSantambrogio, LMoreira, PISaran, SBristol, MLSarkar, SSarwal, MKoike, MSasakawa, CSasnauskiene, ATowns, RSass, MSato, KSato, MMoriyasu, YSchapira, AHVScharl, MSchätzl, HMKomatsu, MBrookes, PSScheper, WSchiaffino, SSchneider, CTrajkovic, VSchneider, MESchneiderStock, RMoscat, JSchoenlein, PVSchorderet, DFBassham, DCSchüller, CSchwartz, GKScorrano, LBrown, EJSealy, LSeglen, POTravassos, LHSeguraAguilar, JBoise, LHSeiliez, IKominami, ESeleverstov, OSell, CSeo, JBSeparovic, DSetaluri, VSetoguchi, TBrumell, JHSettembre, CTsai, TFMostowy, SKong, HJShacka, JJShanmugam, MShapiro, IMShaulian, EShaw, RJShelhamer, JHShen, HMShen, WCSheng, ZHTschan, MPKong, WJMottram, JCTsubata, TTsung, AShibuya, KTurk, BTurner, LSTyagi, SCCahová, MUchiyama, YUeno, TKorolchuk, VIUmekawa, MMotyl, TUmemiyaShirafuji, RUnni, VKVaccaro, MIShidoji, YValente, EMVan Den Berghe, GVan Der Klei, IJVan Doorn, WGSweeney, STCai, DVan Dyk, LFTaylor, GAVan Egmond, MVan Grunsven, LAVandenabeele, PVandenberghe, WPShieh, JJVanhorebeek, IVaquero, ECKotake, YVelasco, GVellai, TVicencio, JMMoussa, CEHCai, JVierstra, RDVila, MVindis, CViola, GShih, CMOu, JHJViscomi, MTVoitsekhovskaja, OVVon Haefen, CVotruba, MMüller, SWada, KWadeMartins, RCai, QWalker, CLWalsh, CMKoukourakis, MIWalter, JShimada, YWan, XBWang, AWang, CMuller, SWang, DWang, FWang, FWang, GKouri Flores, JBCalabretta, BWang, HWang, HGShimizu, SWang, HDWang, JMünger, KWang, KWang, MWang, RCKovács, ALWang, XWang, XWang, YJCalvoGarrido, JWang, YShintani, TWang, ZMünz, CWang, ZCWang, ZKraft, CWansink, DGWard, DMWatada, HWaters, SLWebster, PWei, LCamougrand, NShirihai, OSMurphy, LOWeihl, CCKrainc, DWeiss, WAWelford, SMWen, LPWhitehouse, CAWhitton, JLWhitworth, AJWileman, TWiley, JWWilkinson, SMurphy, MEBast Jr, RCShore, GCCampanella, MWillbold, DWilliams, RLWilliamson, PRWouters, BGWu, CWu, DCWu, WKKWyttenbach, AKrämer, HBonaldo, PXavier, RJBrunk, UTXi, ZCamposSalinas, JXia, PXiao, GXie, ZXie, ZXu, DZKretzRemy, CXu, JMusarò, AXu, LXu, XSibirny, AAYamamoto, AYamamoto, AAitSiAli, SCandi, EYamashina, SKrichevsky, AMYamashita, MYan, XMysorekar, IYanagida, MYang, DSYang, ESidhu, SBYang, JMYang, SYYang, WSy, LKYang, WYCao, LYang, ZTaylor, JPYao, MCYao, TPYeganeh, BYen, WLSikorska, BYin, JJOuimet, MYin, XMYoo, OJYoon, GYoon, SYNagata, ECaplan, ABYorimitsu, TYoshikawa, YYoshimori, TYoshimoto, KKroemer, GSilvaZacarin, ECMYou, HJYoule, RJYounes, AYu, LNagata, KYu, LYu, SWCarding, SRYu, WHKrüger, RYuan, ZMYue, ZSimmons, AYun, CHYuzaki, MZabirnyk, ONahimana, ASilvaZacarin, EDavid Zacks, EZacksenhaus, LKrut, OZaffaroni, NCardoso, SMZakeri, ZZeh III, HJSimon, AKZeitlin, SOZhang, HNair, UZhang, HLZhang, JKtistakis, NTZhang, JPZhang, LZhang, LZhang, MYCarew, JSZhang, XDSimon, HUZhao, MNakagawa, TZhao, YFKuan, CYZhao, YZhao, ZJZheng, XZhivotovsky, BZhong, QZhou, CZZhu, CCarlin, CRSimone, CNakahira, KKucharczyk, RZhu, WGZhu, XFZhu, XZhu, YZoladek, TZong, WXZorzano, AZschocke, JZuckerbraun, BCarmignac, VKumar, ANakano, HSimonsen, ACarneiro, LAMCarra, SAkematsu, TCaruso, RACasari, GCasas, CCastino, RCebollero, EBatoko, HCecconi, FNakatogawa, HCelli, JSinclair, DAChaachouay, HChae, HJChai, CYAkira, SChan, DCChan, EYKumar, RChang, RCCChe, CMBoone, DLChen, CCChen, GCBulman, DEChen, GQChen, MChen, QChen, SSLKumar, SAlYounes, HMChen, WChen, XNanjundan, MChen, XChen, XChen, YGSingh, RChen, YChen, YOverholtzer, MChen, YJChen, ZCheng, AAlZeer, MATerada, ASCheng, CHKCheng, YCheong, HCheong, JHSinha, DSzabadkai, GCherry, SChessWilliams, RCheung, ZHChevet, EChiang, HLNaqvi, NIChiarelli, RAlbert, MLChiba, TChin, LSKundu, MChiou, SHSinicrope, FAChisari, FVCho, CHCho, DHChoi, AMKNarendra, DPChoi, DChoi, KSChoi, MEKung, HJAlbin, RLChouaib, SChoubey, DSirko, AChoubey, VChu, CTChuang, THNarita, MChueh, SHChun, TKurz, TChwae, YJChye, MLCiarcia, RAlegreAbarrategui, JCiriolo, MRSiu, PMClague, MJClark, RSBNavarro, MClarke, PGHKwon, HJClarke, RCodogno, PColler, HAColombo, MIComincini, SCondello, MAleo, MFSivridis, ECondorelli, FNawrocki, STLa Spada, ARCookson, MRCoombs, GHCoppens, ICorbalan, RCossart, PCostelli, PCostes, SCotoMontes, ACouve, ESkop, VLafont, FNazarko, TYAlirezaei, MCoxon, FPCregg, JMCrespo, JLCronjé, MJCuervo, AMCullen, JJCzaja, MJD'Amelio, MLamark, TDarfeuilleMichaud, ANemchenko, ASkulachev, VPDavids, LMAlmasan, ADavies, FEDe Felici, MDe Groot, JFDe Haan, CAMDe Martino, LLandry, JDe Milito, ADe Tata, VNetea, MGDebnath, JSlack, RSDegterev, ADehay, BAlmonteBecerril, MDelbridge, LMDDemarchi, FBay, BHDeng, YZDengjel, JDent, PNeufeld, TPDenton, DDeretic, VSmaili, SSDesai, SDDevenish, RJDi Gioacchino, MOzpolat, BAmano, ADi Paolo, GDi Pietro, CDíazAraya, GBornhauser, BCDíazLaviada, IDiazMeco, MTDiazNido, JBultman, SJDikic, ILane, JDDineshKumar, SPDing, WXDistelhorst, CWAmaravadi, RDiwan, ATerman, ADjavaheriMergny, MDokudovskaya, SDong, ZDorsey, FCTabas, ISmith, DRDosenko, VDowling, JJDoxsey, SDreux, MDrew, MENey, PAAmarnath, SDuan, QDuchosal, MALapaquette, PDuff, KDugail, ISoengas, MSDurbeej, MDuszenko, MEdelstein, CLEdinger, ALNezis, IPEgea, GEichinger, LLaporte, JFAmer, AOEissa, NTEkmekcioglu, SElDeiry, WSSoldati, TElazar, ZElgendy, MEllerby, LMNguyen, HPEr Eng, KLászló, LEngelbrecht, AMEngelender, SErenpreisa, JAndrieuAbadie, NEscalante, REsclatine, ASong, XEskelinen, ELEspert, LNie, DLavandero, SEspina, VFan, HFan, JFan, QWFan, ZFang, SAnantharam, VFang, YSood, AKFanto, MLavoie, JNNishino, IFanzani, AFarkas, TFarré, JCFaure, MFechheimer, MFeng, CGFeng, JFeng, QAnn, DKLayfield, RSoong, TWNislow, CFeng, YFésüs, LFeuer, RFigueiredoPereira, MEFimia, GMFingar, DCFinkbeiner, SFinkel, TLazo, PAFinley, KDFiorito, FNixon, RASotgia, FAnoopkumarDukie, SFisher, EAFisher, PBFlajolet, MFlorezMcClure, MLFlorio, SLe, WFon, EAFornai, FFortunato, FNoda, TFotedar, RSpector, SAFowler, DHAoki, HFox, HSFranco, RPaganetti, PFrankel, LBFransen, MFuentes, JMFueyo, JNoegel, AAFujii, JFujisaki, KSpies, CDFujita, EFukuda, M | 2012 |
| | | 2018 |
| | AHUJA, PNG, CFPANG, PSBCHAN, WSTse, CLBI, XKWAN, HLRBrobst, DHerlea-Pana, OYang, XDu, GSaengnipanthkul, SNoh, HLJiao, BKim, JKLee, CWYe, KChan, CB | 2021 |
| | Yang, ZBrobst, DChan, WSTse, CLHerlea-Pana, OAhuja, PBi, XZaw, AMKwong, SWJia, WZhang, ZZhang, NChow, SKHCheung, WHLouie, CYJGriffin, TMNong, WHui, JHLDu, GNoh, HLSaengnipanthkul, SChow, BKCKim, JKLee, CWChan, CB | 2019 |
| | | 2019 |
| | | 2000 |
| | | 2006 |
| | | 2019 |
| | | 2020 |
| | AHUJA, PBI, XNG, CFTse, CLHANG, MPANG, PSBIU, CYECHAN, WSOOI, XCSUN, AHerlea-Pana, OLIU, ZYANG, XJIAO, BMA, XWU, KKLLEE, TOLCHENG, CKYLee, CWChan, CB | 2022 |
| | | 2018 |
| | | 2005 |
