Browsing by Author BI, X

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Showing results 1 to 20 of 22  next >
TitleAuthor(s)Issue Date
 
2017
 
Consistent Subtyping for All
Journal:ACM Transactions on Programming Languages and Systems
2020
 
Consistent Subtyping for All
Proceeding/Conference:Proceedings of the 27th European Symposium on Programming (ESOP 2018): Programming Languages and Systems
2018
 
1-Dec-2023
Disjoint intersection types
Proceeding/Conference:Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming
2016
 
Distributive Disjoint Polymorphism for Compositional Programming
Proceeding/Conference:Proceedings of the 28th European Symposium on Programming (ESOP 2019): Programming Languages and Systems
2019
 
2009
 
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
 
Metaphors of Career Change: EAP Teachers’ Professional Identity Formation as Boundary Workers
Proceeding/Conference:Asia TEFL/ MAAL/ HAAL 2018 International Conference
2018
 
2021
 
2019
 
Narrative Inquiry of a College EFL Teacher’s Career Change Life in the midst of Curriculum Reform
Proceeding/Conference:Inaugural Conference on Language Teaching and Learning: Cognition and Identity
2019
 
2000
 
2006
 
Rock Climbing through Narrow Spaces: Examining EAP Teachers’ Professional Identity Transformation during Career Change
Proceeding/Conference:AERA (American Educational Research Association) Annual Meeting, 2019
2019
 
Row and Bounded Polymorphism via Disjoint Polymorphism
Proceeding/Conference:LIPICS - Leibniz International Proceedings in Informatics
2020
 
2022
 
The Essence of Nested Composition
Proceeding/Conference:LIPICS - Leibniz International Proceedings in Informatics
2018
 
2005