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 20
TitleAuthor(s)Issue DateViews
 
2017
78
 
Consistent Subtyping for All
Journal:ACM Transactions on Programming Languages and Systems
2020
8
 
Consistent Subtyping for All
Proceeding/Conference:Proceedings of the 27th European Symposium on Programming (ESOP 2018): Programming Languages and Systems
2018
4
Disjoint intersection types
Proceeding/Conference:Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming
2016
5
 
Distributive Disjoint Polymorphism for Compositional Programming
Proceeding/Conference:Proceedings of the 28th European Symposium on Programming (ESOP 2019): Programming Languages and Systems
2019
6
 
2009
241
 
Examining the Discursive Construction of EAP Teachers’ Professional Identities in an Online Community in China
Proceeding/Conference:International Conference on ESP, New Technologies and Digital Learning
2017
40
 
2010
223
 
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
32965
 
Metaphors of Career Change: EAP Teachers’ Professional Identity Formation as Boundary Workers
Proceeding/Conference:Asia TEFL/ MAAL/ HAAL 2018 International Conference
2018
64
 
2019
94
 
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
44
 
2000
184
 
2006
252
 
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
38
 
Row and Bounded Polymorphism via Disjoint Polymorphism
Proceeding/Conference:LIPICS - Leibniz International Proceedings in Informatics
2020
6
 
The Essence of Nested Composition
Proceeding/Conference:LIPICS - Leibniz International Proceedings in Informatics
2018
4
 
2005
176
 
Typed First-Class Traits
Proceeding/Conference:LIPICS - Leibniz International Proceedings in Informatics
2018
5
Unified Syntax with Iso-types
Proceeding/Conference:Proceedings of the 14th Asian Symposium on Programming Languages and Systems (APLAS) 2016
2016
5