%%====================================================================== %% WARNING: Do NOT edit this file. It was produced automatically %% with the UNIX pipeline %% %% biblex xxx.bib | \ %% gawk -f keywords.awk | \ %% egrep 'entrytype$' | \ %% gawk -f fmtwords.awk >xxx.xwx %% %% by beebe@gamma.math.utah.edu on Sat Oct 14 13:13:19 MDT 2017 %%====================================================================== \ifx \NAMECITE \undefined % User can override this definition \def \NAMECITE #1#2{{\bf #1} \cite{#2}} \fi \NAMECITE{$^5$}{% Abelson:1998:RRA% }. \NAMECITE{$\lambda$}{% Norrish:2006:MCU% }. \NAMECITE{$p$}{% Boudol:1998:CDS% }. \NAMECITE{$\rho$}{% Cirstea:2007:CEC% }. \NAMECITE{$|$}{% Asai:2011:FU% }. \NAMECITE{-Calculus}{% Boudol:1998:CDS,% Cirstea:2007:CEC,% Norrish:2006:MCU% }. \NAMECITE{1960s}{% Hartley:2000:CC% }. \NAMECITE{{1999}}{% Achten:2010:TTF% }. \NAMECITE{{1999/\penalty0{}2000}}{% Achten:2010:TTF% }. \NAMECITE{2007/\penalty0{}2008}{% Achten:2010:TTF% }. \NAMECITE{{2009}}{% Boca:2009:PRP,% Zsok:2013:ET% }. \NAMECITE{{2009/\penalty0{}2010}}{% Zsok:2013:ET% }. \NAMECITE{abortive}{% Ariola:2007:PTF% }. \NAMECITE{Abstract}{% Gallagher:2001:RTL,% Mastroeni:2004:APA,% Tennent:2000:AMS,% Cregut:2007:SRV,% Hill:2006:DEA,% Mine:2006:OAD,% Simon:2010:TVP% }. \NAMECITE{Abstraction}{% Dybvig:2000:MSA% }. \NAMECITE{access}{% Barker:2008:EFA% }. \NAMECITE{accounting}{% Hulaas:2008:PTL% }. \NAMECITE{Accumulating}{% Voigtlander:2004:UCP% }. \NAMECITE{accumulative}{% Matsuda:2012:PTI% }. \NAMECITE{Act}{% Hoare:2000:HAF% }. \NAMECITE{Actor}{% Smith:2002:SDA,% Talcott:1998:CSM% }. \NAMECITE{{AD}}{% Siskind:2008:NFM% }. \NAMECITE{Adaptation}{% Khoo:2004:PAO% }. \NAMECITE{Adapting}{% Owens:2008:AFP% }. \NAMECITE{adaptive}{% Chadwick:2010:FAG% }. \NAMECITE{addresses}{% Lang:2007:ELK% }. \NAMECITE{algebra}{% Hamana:2006:IAA% }. \NAMECITE{Algebraic}{% Mastroeni:2004:APA% }. \NAMECITE{algebras}{% Gadducci:2006:APA% }. \NAMECITE{Algorithm}{% Goyal:2005:TDI,% Lee:1999:PEE,% Nishizaki:2000:PEC% }. \NAMECITE{Algorithmic}{% Abelson:1998:RRA% }. \NAMECITE{Alias}{% Goyal:2005:TDI% }. \NAMECITE{ambient}{% Amtoft:2008:FST% }. \NAMECITE{Analysis}{% Goyal:2005:TDI,% Lu:2003:PDA,% Mastroeni:2004:APA,% Meunier:2005:SMS,% Tozawa:2002:FAC,% Hill:2006:DEA,% Lakhotia:2010:CSA,% Meseguer:2007:SRA,% Simmons:2011:LAP,% Spoto:2010:MSL% }. \NAMECITE{annotations}{% Pettorossi:2008:TCLa,% Pettorossi:2008:TCLb% }. \NAMECITE{application}{% Cirstea:2007:CEC,% Meseguer:2007:SRA% }. \NAMECITE{Applications}{% Barthe:1999:CTA% }. \NAMECITE{Appreciation}{% Davis:2005:ABP% }. \NAMECITE{Approach}{% Futamura:1999:PECb,% Kucan:1998:RAC,% LeMeur:2004:SSP,% Sumii:2001:HAO,% Chadwick:2010:FAG,% Clerici:2013:GIT,% Hamana:2006:IAA,% Johann:2009:PAP,% Sasano:2012:ACV% }. \NAMECITE{approximation}{% Simmons:2011:LAP% }. \NAMECITE{{APTS}}{% Leonard:2003:PSF% }. \NAMECITE{Arithmetics}{% Reps:2003:CDD% }. \NAMECITE{arrays}{% Swierstra:2010:MDT% }. \NAMECITE{aspects}{% Chen:2011:SEL% }. \NAMECITE{Assignment}{% Harper:1993:PTA,% Harper:2003:CPT% }. \NAMECITE{associated}{% Gill:2012:TAT% }. \NAMECITE{Augmented}{% Vidal:2004:CAP% }. \NAMECITE{Automata}{% Klarlund:2005:RLA% }. \NAMECITE{Automatic}{% Nanevski:2003:AGS,% Bischof:2008:IAD% }. \NAMECITE{Automating}{% Xiao:2001:STI% }. \NAMECITE{axiomatics}{% Tanaka:2006:PDL% }. \NAMECITE{Axioms}{% Hasegawa:2002:ARC,% Kameyama:2007:ACO% }. \NAMECITE{Barrelled}{% Thielecke:2002:CCC% }. \NAMECITE{Based}{% Kobayashi:2001:TBU,% Meunier:2005:SMS,% Tofte:2004:RRB,% Wand:1999:CBMa,% Wand:1999:CBMb,% Henglein:2010:GMP,% Horstmeyer:2013:GBC,% Hu:2008:PED,% Ochoa:2008:DSL% }. \NAMECITE{Be}{% Lillibridge:1999:UEC% }. \NAMECITE{Beyond}{% Barthe:1999:CTA% }. \NAMECITE{bidirectional}{% Hu:2008:PED% }. \NAMECITE{binders}{% Hamana:2006:IAA% }. \NAMECITE{Binding}{% Moreau:1998:STD,% Waddell:2005:FLF,% Tanaka:2006:PDL% }. \NAMECITE{Bisimilarity}{% Helsen:2004:BRC% }. \NAMECITE{{BIT}}{% Dube:2005:BVC% }. \NAMECITE{Bob}{% Davis:2005:ABP,% Siegel:2005:RBP% }. \NAMECITE{box}{% Grov:2010:HBC% }. \NAMECITE{{BTI}}{% GlAck:2008:IJO% }. \NAMECITE{{BTI}-universal}{% GlAck:2008:IJO% }. \NAMECITE{bytecode}{% Rudolph:2010:MTS,% Spoto:2010:MSL% }. \NAMECITE{C}{% Kerneis:2011:ECP,% Kerneis:2011:CPC% }. \NAMECITE{Calculating}{% Chin:2001:CST% }. \NAMECITE{Calculations}{% Landin:2009:CHH,% Clark:2009:SAC,% Martel:2006:SRE% }. \NAMECITE{Calculi}{% Schmidt:2000:IDC% }. \NAMECITE{Calculus}{% Boudol:1998:CDS,% Coquand:2002:FPS,% Gortz:2003:SNW,% Helsen:2004:BRC,% Mogensen:2000:LTS,% Nishizaki:2000:PEC,% Sandewall:1999:EUC,% Sussman:1998:SIE,% Amtoft:2008:FST,% Bertolissi:2006:ECR,% Cirstea:2007:CEC,% Grov:2010:HBC,% Krivine:2007:CNL,% Norrish:2006:MCU,% Schmidt:2007:STMa% }. \NAMECITE{Call}{% Hasegawa:2002:ARC,% Levy:2006:CPV,% Hirschowitz:2009:CER,% Krivine:2007:CNL,% Lillibridge:1999:UEC,% Thielecke:1999:UCT% }. \NAMECITE{call-by-name}{% Krivine:2007:CNL,% Levy:2006:CPV% }. \NAMECITE{Call-by-push-value}{% Levy:2006:CPV% }. \NAMECITE{Call-by-Value}{% Hasegawa:2002:ARC,% Hirschowitz:2009:CER,% Levy:2006:CPV% }. \NAMECITE{{Call/\penalty0{}CC}}{% Lillibridge:1999:UEC,% Thielecke:1999:UCT% }. \NAMECITE{calling}{% Lakhotia:2010:CSA% }. \NAMECITE{calling-context}{% Lakhotia:2010:CSA% }. \NAMECITE{calm}{% Sculthorpe:2010:KCF% }. \NAMECITE{{Cambridge}}{% Hartley:2000:CC,% Richards:2000:CSC% }. \NAMECITE{Can}{% Lillibridge:1999:UEC% }. \NAMECITE{{Cartesian}}{% Henglein:2010:GMP% }. \NAMECITE{Certifying}{% Hornof:1999:CCR% }. \NAMECITE{change}{% Sculthorpe:2010:KCF% }. \NAMECITE{check}{% Salama:2011:SCC% }. \NAMECITE{checking}{% Salama:2011:SCC% }. \NAMECITE{{Christopher}}{% Burstall:2000:CSU,% Gordon:2000:CSR,% Jackson:2000:CSP,% Penrose:2000:RCS,% Richards:2000:CSC,% Stoy:2000:CSF% }. \NAMECITE{circuit}{% Naylor:2009:ESF% }. \NAMECITE{Circular}{% Voigtlander:2004:UCP,% Pardo:2011:SFR% }. \NAMECITE{Class}{% Clinger:1999:ISF,% Tozawa:2002:FAC,% Middelkoop:2010:LSG% }. \NAMECITE{classical}{% Norrish:2006:MCU% }. \NAMECITE{Code}{% Hornof:1999:CCR% }. \NAMECITE{coinduction}{% Niqui:2011:PMT% }. \NAMECITE{Collection}{% Moreau:2001:TRD% }. \NAMECITE{Coloured}{% Kristensen:2004:ICP% }. \NAMECITE{Combinator}{% Goldberg:2005:VEC% }. \NAMECITE{combinatory}{% Bertolissi:2006:ECR% }. \NAMECITE{Combining}{% Chirokoff:1999:CPD% }. \NAMECITE{communication}{% Horstmeyer:2013:GBC% }. \NAMECITE{Compact}{% Dube:2005:BVC% }. \NAMECITE{Comparing}{% Loidl:2003:CPF,% Thielecke:2002:CCC% }. \NAMECITE{Compilation}{% Hirschowitz:2009:CER,% Hornof:1999:CCR,% Thibault:2000:SDP% }. \NAMECITE{Compiler}{% Futamura:1999:PECb,% Lacey:2004:COC,% Richards:2000:CSC,% Hickey:2006:FCC% }. \NAMECITE{Compiler-Compiler}{% Futamura:1999:PECb% }. \NAMECITE{Compiling}{% Sandewall:1999:EUC,% Kerneis:2011:CPC,% Kerneis:2011:ECP% }. \NAMECITE{Completeness}{% Coquand:2002:FPS% }. \NAMECITE{completing}{% Sasano:2012:ACV% }. \NAMECITE{Composable}{% Talcott:1998:CSM% }. \NAMECITE{compressed}{% Kobayashi:2012:FPC% }. \NAMECITE{Computation}{% Futamura:1999:PECa,% Futamura:1999:PECb,% Matsuda:2012:PTI% }. \NAMECITE{Computational}{% Reps:2003:CDD% }. \NAMECITE{Computer}{% Karczmarczuk:2001:FDC,% Bornat:2009:PLA% }. \NAMECITE{Computing}{% Landin:2009:CHH,% Mason:1999:CC% }. \NAMECITE{Concepts}{% Milne:2000:LCI,% Mosses:2000:FFC,% Stoy:2000:CSF,% Strachey:2000:FCP% }. \NAMECITE{concretization}{% Pottier:2006:PTD% }. \NAMECITE{Connection}{% Klarlund:2005:RLA% }. \NAMECITE{consistency}{% Salama:2011:SCC% }. \NAMECITE{Constraint}{% Khoo:2004:PAO,% Cirstea:2007:CEC% }. \NAMECITE{constraints}{% Fraguas:2007:NGS% }. \NAMECITE{Construct}{% Waddell:2005:FLF% }. \NAMECITE{Construction}{% Hatcliff:2000:SSM,% Hickey:2006:FCC% }. \NAMECITE{Constructs}{% Thielecke:2002:CCC% }. \NAMECITE{Context}{% Lakhotia:2010:CSA% }. \NAMECITE{Context-sensitive}{% Lakhotia:2010:CSA% }. \NAMECITE{Contexts}{% Mason:1999:CC% }. \NAMECITE{Continuation}{% Berdine:2002:LCP,% Thielecke:1999:UCT,% Wand:1999:CBMa,% Wand:1999:CBMb,% Kerneis:2011:CPC,% Kerneis:2011:ECP% }. \NAMECITE{Continuation-Based}{% Wand:1999:CBMa,% Wand:1999:CBMb% }. \NAMECITE{Continuation-Passing}{% Berdine:2002:LCP,% Kerneis:2011:CPC% }. \NAMECITE{Continuations}{% Clinger:1999:ISF,% Queinnec:2004:CWS,% Sandewall:1999:EUC,% Strachey:2000:CMS,% Wadsworth:2000:CR,% Zdancewic:2002:SIF,% Ariola:2007:PTF,% Ariola:2009:TTF,% Asai:2009:TDC,% Kerneis:2011:CPC,% Kerneis:2011:ECP% }. \NAMECITE{contracts}{% Degen:2012:ICL% }. \NAMECITE{Contributions}{% Schmidt:2000:IDC% }. \NAMECITE{Control}{% Thielecke:2002:CCC,% Barker:2008:EFA,% Hulaas:2008:PTL,% Kameyama:2007:ACO,% Shan:2007:SSD% }. \NAMECITE{Conversion}{% Harper:1993:PTA,% Harper:2003:CPT,% Reppy:2002:ONL% }. \NAMECITE{correct}{% Pettorossi:2008:TCLa,% Pettorossi:2008:TCLb% }. \NAMECITE{Correctness}{% Johann:2002:GSC,% Lacey:2004:COC,% Wand:2007:CKM% }. \NAMECITE{Corrigendum}{% Harper:2003:CPT% }. \NAMECITE{Cost}{% Vidal:2004:CAP% }. \NAMECITE{{CPL}}{% Hartley:2000:CC,% Richards:2000:CSC% }. \NAMECITE{{CPS}}{% Barthe:1999:CTA,% Harper:1993:PTA,% Harper:2003:CPT,% Kameyama:2007:ACO,% Kucan:1998:RAC,% Reppy:2002:ONL,% Thielecke:2002:CCC% }. \NAMECITE{{CPU}}{% Hulaas:2008:PTL% }. \NAMECITE{cryptographic}{% Meseguer:2007:SRA% }. \NAMECITE{cryptoprotocol}{% Cervesato:2007:RMC% }. \NAMECITE{Cube}{% Barthe:1999:CTA% }. \NAMECITE{{Curry}}{% Goldberg:2005:VEC% }. \NAMECITE{Cut}{% Johann:2002:GSC% }. \NAMECITE{cycles}{% Zerny:2013:GRR% }. \NAMECITE{Data}{% Chirokoff:1999:CPD,% Kobayashi:2012:FPC,% Matsuda:2012:PTI% }. \NAMECITE{Declaring}{% LeMeur:2004:SSP% }. \NAMECITE{{Decomposing}}{% Levy:2006:CPV% }. \NAMECITE{Decomposition}{% Xiao:2001:STI% }. \NAMECITE{deep}{% Rompf:2012:SVL% }. \NAMECITE{Definitional}{% Reynolds:1998:DIH,% Reynolds:1998:DIR% }. \NAMECITE{Deforest}{% Voigtlander:2004:UCP% }. \NAMECITE{defunctionalization}{% Pottier:2006:PTD% }. \NAMECITE{delimited}{% Ariola:2009:TTF,% Asai:2009:TDC,% Shan:2007:SSD% }. \NAMECITE{Dependent}{% Lu:2003:PDA,% Xi:2002:DTP,% Cervesato:2007:RMC,% Salama:2011:SCC,% Swierstra:2010:MDT% }. \NAMECITE{Derivation}{% Goyal:2005:TDI,% Pettorossi:2005:DEL,% Pardo:2011:SFR% }. \NAMECITE{derivations}{% Bertolissi:2006:ECR% }. \NAMECITE{Deriving}{% Hill:2006:DEA% }. \NAMECITE{description}{% Naylor:2009:ESF% }. \NAMECITE{descriptions}{% Salama:2011:SCC% }. \NAMECITE{developing}{% Hu:2008:PED% }. \NAMECITE{development}{% Grov:2010:HBC% }. \NAMECITE{Diagrams}{% Smith:2002:SDA% }. \NAMECITE{Difference}{% Reps:2003:CDD% }. \NAMECITE{Differencing}{% Reps:2003:CDD% }. \NAMECITE{Differentiation}{% Karczmarczuk:2001:FDC,% Bischof:2008:IAD% }. \NAMECITE{Direct}{% Boudol:1998:CDS% }. \NAMECITE{Directed}{% Grobauer:2001:SFP% }. \NAMECITE{Directly}{% Stump:2009:DRM% }. \NAMECITE{discrimination}{% Henglein:2010:GMP% }. \NAMECITE{discrimination-based}{% Henglein:2010:GMP% }. \NAMECITE{Distributed}{% Moreau:2001:TRD,% Swierstra:2010:MDT% }. \NAMECITE{distributive}{% Tanaka:2006:PDL% }. \NAMECITE{Divided}{% Reps:2003:CDD% }. \NAMECITE{Divided-Difference}{% Reps:2003:CDD% }. \NAMECITE{documents}{% Hu:2008:PED% }. \NAMECITE{Domain}{% Gallagher:2001:RTL,% Mine:2006:OAD,% Simon:2010:TVP% }. \NAMECITE{Domains}{% Schmidt:2000:IDC% }. \NAMECITE{Double}{% Thielecke:2002:CCC% }. \NAMECITE{Double-Barrelled}{% Thielecke:2002:CCC% }. \NAMECITE{Dynamic}{% Liu:2003:DPS,% Moreau:1998:STD,% Nandivada:2006:DSR,% Ochoa:2008:DSL,% Thibault:2000:SDP,% Shan:2007:SSD% }. \NAMECITE{Early}{% Sandewall:1999:EUC% }. \NAMECITE{{Eden}}{% Horstmeyer:2013:GBC% }. \NAMECITE{editor}{% Hu:2008:PED% }. \NAMECITE{Editorial}{% Basin:2003:E,% Basin:2004:E,% Chin:2004:E,% Danvy:1998:E,% Danvy:1999:Ea,% Danvy:1999:Eb,% Danvy:1999:Ec,% Danvy:2000:Ea,% Danvy:2000:Eb,% Danvy:2000:Ec,% Danvy:2001:Ea,% Danvy:2001:Eb,% Danvy:2001:Ec,% Danvy:2002:Ea,% Danvy:2002:Eb,% Danvy:2002:Ec,% Danvy:2003:Ea,% Danvy:2003:Eb,% Danvy:2004:E,% Danvy:2005:E,% Danvy:2006:Ea,% Danvy:2006:Eb,% Danvy:2007:Ea,% Danvy:2007:Eb,% Danvy:2008:Ea,% Danvy:2008:Eb,% Danvy:2009:E,% Danvy:2009:Ea,% Danvy:2009:Eb,% Danvy:2009:Ec,% Felleisen:2005:E,% Gallagher:2010:E,% Honsell:2006:E,% Kessler:1998:E,% Kiselyov:2012:EP,% Lawall:2008:E,% Lawall:2011:E,% Marti-Oliet:2007:E,% Zsok:2013:ET% }. \NAMECITE{effect}{% Chen:2011:SEL% }. \NAMECITE{effects}{% Skalka:2008:TTE% }. \NAMECITE{Efficiency}{% Liu:2000:EII% }. \NAMECITE{Efficient}{% Barker:2008:EFA,% Pettorossi:2005:DEL,% Waddell:2005:FLF,% Herman:2010:SEG% }. \NAMECITE{Elimination}{% Kobayashi:2001:TBU% }. \NAMECITE{embeddings}{% Rompf:2012:SVL% }. \NAMECITE{Engineering}{% Schmidt:2000:IDC% }. \NAMECITE{Environment}{% Nishizaki:2000:PEC% }. \NAMECITE{equality}{% Middelkoop:2010:LSG% }. \NAMECITE{equational}{% Duran:2008:POT% }. \NAMECITE{equations}{% Capper:2012:STS% }. \NAMECITE{Erratum}{% Kerneis:2011:ECP% }. \NAMECITE{error}{% Martel:2006:SRE,% elBoustani:2011:ITE% }. \NAMECITE{escape}{% Hill:2006:DEA% }. \NAMECITE{{Euclidean}}{% Lee:1999:PEE% }. \NAMECITE{Evaluation}{% Futamura:1999:PECa,% Futamura:1999:PECb,% Grobauer:2001:SFP,% Lee:1999:PEE,% Mogensen:2000:GPE,% Moreau:2001:TRD,% Sandewall:1999:EUC,% Sumii:2001:HAO,% Vidal:2004:CAP,% Zerny:2013:GRR% }. \NAMECITE{events}{% Kerneis:2011:CPC,% Kerneis:2011:ECP% }. \NAMECITE{Exceptions}{% Lillibridge:1999:UEC,% Nandivada:2006:DSR% }. \NAMECITE{Explaining}{% Lang:2007:ELK% }. \NAMECITE{Explicit}{% Coquand:2002:FPS,% Ghani:2006:ESH,% Cirstea:2007:CEC,% Lang:2007:ELK% }. \NAMECITE{Expressible}{% Naylor:2009:ESF% }. \NAMECITE{Expressing}{% Bertolissi:2006:ECR% }. \NAMECITE{expressions}{% Schmidt:2007:STMa% }. \NAMECITE{Expressive}{% Thielecke:1999:UCT% }. \NAMECITE{Extended}{% Sussman:1998:SIE,% Hirschowitz:2009:CER% }. \NAMECITE{Extension}{% Goldberg:2005:VEC,% Cervesato:2007:RMC% }. \NAMECITE{{F}}{% Middelkoop:2010:LSG% }. \NAMECITE{face}{% Sculthorpe:2010:KCF% }. \NAMECITE{Faithful}{% Waddell:2005:FLF% }. \NAMECITE{families}{% Gill:2012:TAT% }. \NAMECITE{finite}{% Martel:2006:SRE% }. \NAMECITE{First}{% Clinger:1999:ISF,% Sandewall:1999:EUC,% Sussman:1998:FRS,% Middelkoop:2010:LSG,% Norrish:2006:MCU% }. \NAMECITE{First-Class}{% Clinger:1999:ISF,% Middelkoop:2010:LSG% }. \NAMECITE{First-Order}{% Sandewall:1999:EUC% }. \NAMECITE{Fixed}{% Goldberg:2005:VEC% }. \NAMECITE{Fixed-Point}{% Goldberg:2005:VEC% }. \NAMECITE{Fixing}{% Waddell:2005:FLF% }. \NAMECITE{Flattening}{% Ziarek:2008:FTS% }. \NAMECITE{flexible}{% Barker:2008:EFA% }. \NAMECITE{Flow}{% Amtoft:2008:FST,% Sabelfeld:2001:PMS,% Zdancewic:2002:SIF% }. \NAMECITE{Flow-sensitive}{% Amtoft:2008:FST% }. \NAMECITE{Follow}{% Hoare:2000:HAF% }. \NAMECITE{Foreword}{% Mosses:2000:FFC% }. \NAMECITE{Formal}{% Ford:2003:FFO,% Hickey:2006:FCC,% Leonard:2003:PSF% }. \NAMECITE{Formalised}{% Coquand:2002:FPS% }. \NAMECITE{Formalization}{% Tozawa:2002:FAC% }. \NAMECITE{forward}{% Siskind:2008:NFM% }. \NAMECITE{forward-mode}{% Siskind:2008:NFM% }. \NAMECITE{foundation}{% Ariola:2007:PTF,% Ariola:2009:TTF% }. \NAMECITE{Foundations}{% Ford:2003:FFO% }. \NAMECITE{founded}{% Pettorossi:2008:TCLa,% Pettorossi:2008:TCLb% }. \NAMECITE{framework}{% Dargaye:2009:VFH,% Hickey:2006:FCC,% Siskind:2008:NFM% }. \NAMECITE{{FRP}}{% Sculthorpe:2010:KCF% }. \NAMECITE{Full}{% Strachey:2000:CMS% }. \NAMECITE{Functional}{% Achten:2010:TTF,% Asai:2011:FU,% Henderson:2002:FG,% Karczmarczuk:2001:FDC,% Kobayashi:2012:FPC,% Kristensen:2004:ICP,% Loidl:2003:CPF,% Vidal:2004:CAP,% Chadwick:2010:FAG,% Chen:2011:SEL,% Fraguas:2007:NGS,% Hirschowitz:2009:CER,% Iwasaki:2011:PIS,% Naylor:2009:ESF,% Ochoa:2008:DSL,% Owens:2008:AFP,% Sasano:2012:ACV,% Siskind:2008:NFM% }. \NAMECITE{functions}{% Matsuda:2012:PTI% }. \NAMECITE{Fundamental}{% Mosses:2000:FFC,% Stoy:2000:CSF,% Strachey:2000:FCP% }. \NAMECITE{Fusion}{% Johann:2002:GSC,% Pardo:2011:SFR% }. \NAMECITE{{Futamura}}{% Grobauer:2001:SFP% }. \NAMECITE{{GADTs}}{% Middelkoop:2010:LSG% }. \NAMECITE{Garbage}{% Moreau:2001:TRD% }. \NAMECITE{Generalization}{% Johann:2002:GSC,% Landin:1998:GJL,% Thielecke:1998:ILG% }. \NAMECITE{Generation}{% Hornof:1999:CCR,% Nanevski:2003:AGS,% Bornat:2009:PLA,% Rudolph:2010:MTS% }. \NAMECITE{Generic}{% Douence:2001:GRT,% Henglein:2010:GMP,% Chadwick:2010:FAG,% Fraguas:2007:NGS,% elBoustani:2011:ITE% }. \NAMECITE{Geometric}{% Nanevski:2003:AGS% }. \NAMECITE{Geometry}{% Henderson:2002:FG% }. \NAMECITE{Getting}{% Landin:2009:GRL,% Tennent:2009:ILS% }. \NAMECITE{Glossary}{% Mogensen:2000:GPE% }. \NAMECITE{{G{\"o}del}}{% Alves:2010:LIT% }. \NAMECITE{gradual}{% Herman:2010:SEG% }. \NAMECITE{Graph}{% Horstmeyer:2013:GBC,% Clerici:2013:GIT,% Zerny:2013:GRR% }. \NAMECITE{Graph-based}{% Horstmeyer:2013:GBC% }. \NAMECITE{Graphical}{% Clerici:2013:GIT,% Lippi:2007:GKM% }. \NAMECITE{Growing}{% Steele:1999:GL% }. \NAMECITE{Handling}{% Strachey:2000:CMS% }. \NAMECITE{Hard}{% Hoare:2000:HAF,% Meunier:2005:SMS% }. \NAMECITE{hardware}{% Gill:2012:TAT% }. \NAMECITE{Haskell}{% Johann:2009:PAP% }. \NAMECITE{Heart}{% Landin:2009:CHH% }. \NAMECITE{hierarchy}{% Kameyama:2007:ACO% }. \NAMECITE{Higher}{% Hannan:2000:HOU,% Reynolds:1998:DIH,% Dargaye:2009:VFH,% Ghani:2006:ESH,% Owens:2008:AFP,% Pardo:2011:SFR% }. \NAMECITE{Higher-Order}{% Hannan:2000:HOU,% Reynolds:1998:DIH,% Dargaye:2009:VFH,% Ghani:2006:ESH,% Pardo:2011:SFR% }. \NAMECITE{Hole}{% Landin:2009:CHH% }. \NAMECITE{{Hop}}{% Serrano:2010:MTS% }. \NAMECITE{{Hume}}{% Grov:2010:HBC% }. \NAMECITE{Hybrid}{% Sumii:2001:HAO% }. \NAMECITE{Imperative}{% Debois:2008:IPT% }. \NAMECITE{Imperative-program}{% Debois:2008:IPT% }. \NAMECITE{Implementation}{% Clinger:1999:ISF,% Krishnamurthi:2007:IUP,% Milne:2000:LCI,% Moreau:2001:TRD,% Waddell:2005:FLF,% Bischof:2008:IAD% }. \NAMECITE{Implementing}{% Kiselyov:2005:IMS,% Kristensen:2004:ICP% }. \NAMECITE{Implications}{% Thielecke:1999:UCT% }. \NAMECITE{implicitly}{% Sasano:2012:ACV% }. \NAMECITE{Improved}{% Goyal:2005:TDI% }. \NAMECITE{Improving}{% Friedman:2007:ILK,% elBoustani:2011:ITE,% Iwasaki:2011:PIS% }. \NAMECITE{incremental}{% Clerici:2013:GIT% }. \NAMECITE{Incrementalization}{% Liu:2000:EII,% Liu:2003:DPS% }. \NAMECITE{Induction}{% Schmidt:2000:IDC% }. \NAMECITE{inequality}{% Simon:2010:TVP% }. \NAMECITE{Inference}{% Nishizaki:2000:PEC,% Clerici:2013:GIT% }. \NAMECITE{Influence}{% Gordon:2000:CSR% }. \NAMECITE{Information}{% Sabelfeld:2001:PMS,% Zdancewic:2002:SIF% }. \NAMECITE{initial}{% Hamana:2006:IAA% }. \NAMECITE{inspired}{% Bornat:2009:PLA% }. \NAMECITE{instrumented}{% Debois:2008:IPT% }. \NAMECITE{instrumented-interpreter}{% Debois:2008:IPT% }. \NAMECITE{Integrating}{% Gasbichler:2005:IUL% }. \NAMECITE{interaction}{% Degen:2012:ICL% }. \NAMECITE{interconnects}{% Salama:2011:SCC% }. \NAMECITE{intermediate}{% Ziarek:2008:FTS% }. \NAMECITE{Interpretation}{% Mastroeni:2004:APA,% Mogensen:2000:LTS,% Hill:2006:DEA% }. \NAMECITE{Interpreter}{% Sussman:1998:SIE,% Thibault:2000:SDP,% Debois:2008:IPT% }. \NAMECITE{Interpreters}{% Reynolds:1998:DIH,% Reynolds:1998:DIR,% Xiao:2001:STI% }. \NAMECITE{Introduction}{% Danvy:1998:I,% Danvy:1999:I,% Liu:2000:EII,% Thielecke:1998:ILG,% Tennent:2009:ILS% }. \NAMECITE{inverse}{% Matsuda:2012:PTI% }. \NAMECITE{investigation}{% GlAck:2008:IJO% }. \NAMECITE{iterator}{% Alves:2010:LIT% }. \NAMECITE{J}{% Danvy:2009:PJL% }. \NAMECITE{{Java}}{% Hulaas:2008:PTL,% Spoto:2010:MSL,% Tozawa:2002:FAC,% elBoustani:2011:ITE% }. \NAMECITE{joins}{% Henglein:2010:GMP% }. \NAMECITE{{Jones}}{% Barker:2008:EFA,% GlAck:2008:IJO% }. \NAMECITE{{Jones}-optimal}{% Barker:2008:EFA% }. \NAMECITE{Jumps}{% Landin:1998:GJL,% Strachey:2000:CMS,% Thielecke:1998:ILG% }. \NAMECITE{Keeping}{% Sculthorpe:2010:KCF% }. \NAMECITE{{Krivine}}{% Cregut:2007:SRV,% Douence:2007:NKM,% Friedman:2007:ILK,% Lang:2007:ELK,% Lippi:2007:GKM,% Wand:2007:CKM% }. \NAMECITE{Labels}{% Landin:1998:GJL,% Tennent:2009:ILS,% Thielecke:1998:ILG,% Landin:2009:GRL% }. \NAMECITE{Lambda}{% Coquand:2002:FPS,% Gortz:2003:SNW,% Mogensen:2000:LTS,% Sussman:1998:SIE,% Krivine:2007:CNL,% Schmidt:2007:STMa% }. \NAMECITE{Lambda-Calculus}{% Coquand:2002:FPS,% Krivine:2007:CNL,% Schmidt:2007:STMa% }. \NAMECITE{Lambda-{I}-Calculus}{% Gortz:2003:SNW% }. \NAMECITE{Landin}{% Boca:2009:PRP,% Hammond:2009:PLP,% Bornat:2009:PLA,% Clark:2009:SAC,% Danvy:2009:PJL,% Tennent:2009:ILS,% Thielecke:1998:ILG% }. \NAMECITE{Language}{% Abelson:1998:RRA,% Kristensen:2004:ICP,% Milne:2000:LCI,% Schmidt:2000:IDC,% Steele:1999:GL,% Cervesato:2007:RMC% }. \NAMECITE{Languages}{% Burstall:2000:CSU,% Douence:2001:GRT,% Gallagher:2001:RTL,% Loidl:2003:CPF,% Mosses:2000:FFC,% Reynolds:1998:DIH,% Strachey:2000:FCP,% Chen:2011:SEL,% Hirschowitz:2009:CER,% Sasano:2012:ACV% }. \NAMECITE{laws}{% Tanaka:2006:PDL% }. \NAMECITE{laziness}{% Degen:2012:ICL% }. \NAMECITE{lazy}{% Chen:2011:SEL,% Friedman:2007:ILK,% Iwasaki:2011:PIS,% Lang:2007:ELK,% Ochoa:2008:DSL% }. \NAMECITE{lean}{% Middelkoop:2010:LSG% }. \NAMECITE{Least}{% Desharnais:2005:LRP% }. \NAMECITE{{Letrec}}{% Waddell:2005:FLF% }. \NAMECITE{Level}{% Gasbichler:2005:IUL% }. \NAMECITE{light}{% Hulaas:2008:PTL% }. \NAMECITE{light-weight}{% Hulaas:2008:PTL% }. \NAMECITE{Linear}{% Berdine:2002:LCP,% Mogensen:2000:LTS,% Zdancewic:2002:SIF% }. \NAMECITE{Linear-Time}{% Mogensen:2000:LTS% }. \NAMECITE{Linearity}{% Alves:2010:LIT% }. \NAMECITE{linguistic}{% Rompf:2012:SVL% }. \NAMECITE{{Lisp}}{% Bresson:2009:VLC% }. \NAMECITE{{Lisp/\penalty0{}CLOS}}{% Bresson:2009:VLC% }. \NAMECITE{Loading}{% Tozawa:2002:FAC% }. \NAMECITE{Local}{% Reppy:2002:ONL% }. \NAMECITE{localised}{% Spoto:2010:MSL% }. \NAMECITE{localization}{% Chen:2011:SEL% }. \NAMECITE{Logic}{% Klarlund:2005:RLA,% Lacey:2004:COC,% Lu:2003:PDA,% Pettorossi:2005:DEL,% Vidal:2004:CAP,% Barker:2008:EFA,% Cervesato:2007:RMC,% Fraguas:2007:NGS,% Owens:2008:AFP,% Pettorossi:2008:TCLa,% Pettorossi:2008:TCLb% }. \NAMECITE{Logic-Automata}{% Klarlund:2005:RLA% }. \NAMECITE{Logical}{% Simmons:2011:LAP,% Hickey:2006:FCC% }. \NAMECITE{look}{% Monniaux:2009:MLW% }. \NAMECITE{Loops}{% Reppy:2002:ONL% }. \NAMECITE{machine}{% Cregut:2007:SRV,% Friedman:2007:ILK,% Klein:2012:RVM,% Krivine:2007:CNL,% Lang:2007:ELK,% Lippi:2007:GKM,% Wand:2007:CKM,% Hulaas:2008:PTL% }. \NAMECITE{machines}{% Douence:2007:NKM,% Schmidt:2007:STMa,% Schmidt:2007:STMb% }. \NAMECITE{Macrogeneration}{% Dybvig:2000:MSA% }. \NAMECITE{Magic}{% Spoto:2010:MSL% }. \NAMECITE{Magic-sets}{% Spoto:2010:MSL% }. \NAMECITE{Make}{% Meunier:2005:SMS% }. \NAMECITE{Making}{% Holdermans:2010:MSM% }. \NAMECITE{Management}{% Tofte:2004:RRB% }. \NAMECITE{Mathematical}{% Strachey:2000:CMS% }. \NAMECITE{{Maude}}{% Olveczky:2007:SPR% }. \NAMECITE{Mechanising}{% Norrish:2006:MCU% }. \NAMECITE{membership}{% Duran:2008:POT% }. \NAMECITE{Memory}{% Tofte:2004:RRB% }. \NAMECITE{messages}{% elBoustani:2011:ITE% }. \NAMECITE{meta}{% Stump:2009:DRM% }. \NAMECITE{meta-programming}{% Stump:2009:DRM% }. \NAMECITE{{Metcast}}{% Kiselyov:2005:IMS% }. \NAMECITE{Microcontrollers}{% Dube:2005:BVC% }. \NAMECITE{minimalistic}{% Monniaux:2009:MLW% }. \NAMECITE{{ML}}{% Biagioni:1998:SST,% Biagioni:2001:NPS% }. \NAMECITE{{Mnemonics}}{% Rudolph:2010:MTS% }. \NAMECITE{mode}{% Siskind:2008:NFM% }. \NAMECITE{Model}{% Hatcliff:2000:SSM,% Sabelfeld:2001:PMS% }. \NAMECITE{Models}{% Talcott:1998:CSM,% Tennent:2000:AMS% }. \NAMECITE{modules}{% Garrigue:2011:PRN% }. \NAMECITE{{Moessner}}{% Niqui:2011:PMT% }. \NAMECITE{{MSR}}{% Cervesato:2007:RMC% }. \NAMECITE{multi}{% Serrano:2010:MTS% }. \NAMECITE{multi-tier}{% Serrano:2010:MTS% }. \NAMECITE{multiple}{% Matsuda:2012:PTI% }. \NAMECITE{Multiprocessing}{% Wand:1999:CBMa,% Wand:1999:CBMb% }. \NAMECITE{multiset}{% Henglein:2010:GMP% }. \NAMECITE{My}{% Landin:2000:MYS% }. \NAMECITE{name}{% Krivine:2007:CNL,% Levy:2006:CPV% }. \NAMECITE{named}{% Gadducci:2006:APA% }. \NAMECITE{names}{% Sasano:2012:ACV% }. \NAMECITE{narrowing}{% Meseguer:2007:SRA% }. \NAMECITE{Nested}{% Reppy:2002:ONL,% Garrigue:2011:PRN,% Johann:2009:PAP% }. \NAMECITE{Nesting}{% Siskind:2008:NFM% }. \NAMECITE{Nets}{% Kristensen:2004:ICP% }. \NAMECITE{Network}{% Biagioni:2001:NPS% }. \NAMECITE{next}{% Douence:2007:NKM% }. \NAMECITE{Non}{% Giacobazzi:2003:NSS% }. \NAMECITE{Non-Standard}{% Giacobazzi:2003:NSS% }. \NAMECITE{Nondeterminism}{% Pettorossi:2005:DEL% }. \NAMECITE{Normalization}{% Gortz:2003:SNW% }. \NAMECITE{{NSF}}{% Paige:2005:NP% }. \NAMECITE{Object}{% Douence:2001:GRT,% Skalka:2008:TTE% }. \NAMECITE{Object-Oriented}{% Douence:2001:GRT% }. \NAMECITE{octagon}{% Mine:2006:OAD% }. \NAMECITE{Offline}{% Sumii:2001:HAO% }. \NAMECITE{Online}{% Sumii:2001:HAO% }. \NAMECITE{{OpenMusic}}{% Bresson:2009:VLC% }. \NAMECITE{Operational}{% Ford:2003:FFO,% Duran:2008:POT% }. \NAMECITE{operators}{% Kameyama:2007:ACO,% Monniaux:2009:MLW% }. \NAMECITE{Optimal}{% Aiken:1999:ORP,% Barker:2008:EFA% }. \NAMECITE{optimality}{% GlAck:2008:IJO% }. \NAMECITE{optimisation}{% Sculthorpe:2010:KCF% }. \NAMECITE{Optimization}{% Lacey:2004:COC% }. \NAMECITE{optimizations}{% Dargaye:2009:VFH% }. \NAMECITE{Optimizing}{% Reppy:2002:ONL% }. \NAMECITE{Order}{% Hannan:2000:HOU,% Reynolds:1998:DIH,% Sandewall:1999:EUC,% Dargaye:2009:VFH,% Ghani:2006:ESH,% Norrish:2006:MCU,% Owens:2008:AFP,% Pardo:2011:SFR% }. \NAMECITE{orientation}{% Skalka:2008:TTE% }. \NAMECITE{Oriented}{% Douence:2001:GRT% }. \NAMECITE{Output}{% Khoo:2004:PAO% }. \NAMECITE{Output-Constraint}{% Khoo:2004:PAO% }. \NAMECITE{Paige}{% Mairson:2005:RP,% Davis:2005:ABP,% Siegel:2005:RBP% }. \NAMECITE{Parallel}{% Loidl:2003:CPF% }. \NAMECITE{Parameters}{% Voigtlander:2004:UCP% }. \NAMECITE{Partial}{% Futamura:1999:PECa,% Futamura:1999:PECb,% Grobauer:2001:SFP,% Lee:1999:PEE,% Mogensen:2000:GPE,% Sandewall:1999:EUC,% Sumii:2001:HAO,% Vidal:2004:CAP% }. \NAMECITE{Passing}{% Berdine:2002:LCP,% Kerneis:2011:ECP,% Kerneis:2011:CPC% }. \NAMECITE{Path}{% Garrigue:2011:PRN,% Lu:2003:PDA,% deMoor:2003:URP% }. \NAMECITE{{\penalty0{}2000}}{% Achten:2010:TTF% }. \NAMECITE{\penalty0{}2008}{% Achten:2010:TTF% }. \NAMECITE{{\penalty0{}2010}}{% Zsok:2013:ET% }. \NAMECITE{{\penalty0{}CC}}{% Lillibridge:1999:UEC,% Thielecke:1999:UCT% }. \NAMECITE{{\penalty0{}CLOS}}{% Bresson:2009:VLC% }. \NAMECITE{{PEPM2012}}{% Kiselyov:2012:EP% }. \NAMECITE{Performance}{% Loidl:2003:CPF,% Moreau:2001:TRD% }. \NAMECITE{permutation}{% Gadducci:2006:APA% }. \NAMECITE{permutations}{% Norrish:2006:MCU% }. \NAMECITE{Personal}{% Boca:2009:PRP,% Jackson:2000:CSP% }. \NAMECITE{{Peter}}{% Boca:2009:PRP,% Bornat:2009:PLA,% Clark:2009:SAC,% Danvy:2009:PJL,% Hammond:2009:PLP% }. \NAMECITE{{Petri}}{% Kristensen:2004:ICP% }. \NAMECITE{{PLT}}{% Krishnamurthi:2007:IUP% }. \NAMECITE{Point}{% Goldberg:2005:VEC% }. \NAMECITE{Points}{% Desharnais:2005:LRP% }. \NAMECITE{Polymorphic}{% Aiken:1999:ORP,% Harper:1993:PTA,% Harper:2003:CPT,% Nishizaki:2000:PEC,% Pottier:2006:PTD% }. \NAMECITE{Polynomial}{% Matsuda:2012:PTI% }. \NAMECITE{Polynomial-time}{% Matsuda:2012:PTI% }. \NAMECITE{Power}{% Mastroeni:2004:APA,% Thielecke:1999:UCT% }. \NAMECITE{Powerful}{% Lillibridge:1999:UEC% }. \NAMECITE{Pragmatic}{% LeMeur:2004:SSP% }. \NAMECITE{pragmatics}{% Olveczky:2007:SPR% }. \NAMECITE{pre}{% Gadducci:2006:APA% }. \NAMECITE{precision}{% Martel:2006:SRE% }. \NAMECITE{Predicate}{% Sandewall:1999:EUC% }. \NAMECITE{Predicates}{% Nanevski:2003:AGS% }. \NAMECITE{presence}{% Zerny:2013:GRR% }. \NAMECITE{principled}{% Johann:2009:PAP% }. \NAMECITE{{printf}}{% Asai:2009:TDC% }. \NAMECITE{{Prize}}{% Hammond:2009:PLP% }. \NAMECITE{problem}{% Asai:2009:TDC% }. \NAMECITE{Process}{% Futamura:1999:PECa,% Futamura:1999:PECb,% Liu:2011:TSS% }. \NAMECITE{Processes}{% Gasbichler:2005:IUL% }. \NAMECITE{products}{% Henglein:2010:GMP% }. \NAMECITE{Program}{% Chirokoff:1999:CPD,% Gallagher:2001:RTL,% Giacobazzi:2003:NSS,% Hulaas:2008:PTL,% Khoo:2004:PAO,% LeMeur:2004:SSP,% Leonard:2003:PSF,% Thibault:2000:SDP,% Xi:2002:DTP,% Barker:2008:EFA,% Debois:2008:IPT,% Pettorossi:2008:TCLa,% Pettorossi:2008:TCLb,% Simmons:2011:LAP% }. \NAMECITE{programmable}{% Hu:2008:PED% }. \NAMECITE{Programming}{% Achten:2010:TTF,% Burstall:2000:CSU,% Kristensen:2004:ICP,% Liu:2003:DPS,% Loidl:2003:CPF,% Mosses:2000:FFC,% Reynolds:1998:DIH,% Schmidt:2000:IDC,% Strachey:2000:FCP,% Bresson:2009:VLC,% Chadwick:2010:FAG,% Fraguas:2007:NGS,% Henglein:2010:GMP,% Johann:2009:PAP,% Liu:2011:TSS,% Stump:2009:DRM% }. \NAMECITE{Programming-Language}{% Schmidt:2000:IDC% }. \NAMECITE{Programs}{% Karczmarczuk:2001:FDC,% Lu:2003:PDA,% Pettorossi:2005:DEL,% Sabelfeld:2001:PMS,% Vidal:2004:CAP,% Voigtlander:2004:UCP,% Duran:2008:POT,% Iwasaki:2011:PIS,% Kobayashi:2012:FPC,% Ochoa:2008:DSL,% Owens:2008:AFP,% Pardo:2011:SFR% }. \NAMECITE{Projection}{% Grobauer:2001:SFP% }. \NAMECITE{Proof}{% Coquand:2002:FPS,% Johann:2002:GSC,% Xiao:2001:STI,% Ariola:2007:PTF,% Niqui:2011:PMT% }. \NAMECITE{proof-theoretic}{% Ariola:2007:PTF% }. \NAMECITE{proofs}{% Middelkoop:2010:LSG% }. \NAMECITE{propagation}{% Martel:2006:SRE% }. \NAMECITE{Proposal}{% Paige:2005:NP% }. \NAMECITE{Protocol}{% Biagioni:2001:NPS% }. \NAMECITE{protocols}{% Meseguer:2007:SRA% }. \NAMECITE{Proving}{% Duran:2008:POT% }. \NAMECITE{Pruning}{% Iwasaki:2011:PIS% }. \NAMECITE{Pseudo}{% Tanaka:2006:PDL% }. \NAMECITE{Pseudo-distributive}{% Tanaka:2006:PDL% }. \NAMECITE{Pure}{% Mogensen:2000:LTS% }. \NAMECITE{purely}{% Chen:2011:SEL% }. \NAMECITE{push}{% Levy:2006:CPV% }. \NAMECITE{Queries}{% deMoor:2003:URP% }. \NAMECITE{{Racket}}{% Klein:2012:RVM% }. \NAMECITE{randomized}{% Klein:2012:RVM% }. \NAMECITE{reachability}{% Meseguer:2007:SRA% }. \NAMECITE{{Real}}{% Olveczky:2007:SPR% }. \NAMECITE{{Real-Time}}{% Olveczky:2007:SPR% }. \NAMECITE{reasoning}{% Sculthorpe:2010:KCF% }. \NAMECITE{Recollection}{% Jackson:2000:CSP% }. \NAMECITE{Recollections}{% Gordon:2000:CSR,% Boca:2009:PRP% }. \NAMECITE{Recursion}{% Hasegawa:2002:ARC,% Hirschowitz:2009:CER% }. \NAMECITE{Recursive}{% Waddell:2005:FLF,% Garrigue:2011:PRN% }. \NAMECITE{redex}{% Ochoa:2008:DSL% }. \NAMECITE{reducing}{% Cregut:2007:SRV% }. \NAMECITE{Reduction}{% Pettorossi:2005:DEL,% Bertolissi:2006:ECR,% Zerny:2013:GRR% }. \NAMECITE{Reflections}{% Scott:2000:SRS% }. \NAMECITE{Reflective}{% Douence:2001:GRT,% Stump:2009:DRM% }. \NAMECITE{Reflexive}{% Desharnais:2005:LRP% }. \NAMECITE{Region}{% Helsen:2004:BRC,% Tofte:2004:RRB% }. \NAMECITE{Region-Based}{% Tofte:2004:RRB% }. \NAMECITE{Regular}{% Gallagher:2001:RTL,% deMoor:2003:URP% }. \NAMECITE{Reification}{% Douence:2001:GRT% }. \NAMECITE{Related}{% Mogensen:2000:GPE% }. \NAMECITE{Relations}{% Desharnais:2005:LRP% }. \NAMECITE{Relativizations}{% Klarlund:2005:RLA% }. \NAMECITE{relevant}{% Holdermans:2010:MSM% }. \NAMECITE{remembering}{% Clark:2009:SAC% }. \NAMECITE{Remembrances}{% Siegel:2005:RBP% }. \NAMECITE{Reminiscences}{% Penrose:2000:RCS% }. \NAMECITE{Report}{% Abelson:1998:RRA,% Sussman:1998:FRS% }. \NAMECITE{representation}{% Ziarek:2008:FTS% }. \NAMECITE{Representations}{% Aiken:1999:ORP% }. \NAMECITE{Representing}{% Cervesato:2007:RMC% }. \NAMECITE{Requirements}{% Leonard:2003:PSF% }. \NAMECITE{Rerooting}{% Moreau:2001:TRD% }. \NAMECITE{Research}{% Paige:2003:RR% }. \NAMECITE{resolution}{% Garrigue:2011:PRN% }. \NAMECITE{restoration}{% Nandivada:2006:DSR% }. \NAMECITE{Retraction}{% Kucan:1998:RAC% }. \NAMECITE{Retrospective}{% Paige:2003:RR,% Tofte:2004:RRB% }. \NAMECITE{reuse}{% Rompf:2012:SVL% }. \NAMECITE{Revised}{% Abelson:1998:RRA% }. \NAMECITE{Revisited}{% Futamura:1999:PECa,% Lee:1999:PEE,% Reynolds:1998:DIR,% Sussman:1998:FRS,% Wadsworth:2000:CR,% Wand:1999:CBMa,% Schmidt:2007:STMb% }. \NAMECITE{rewriting}{% Bertolissi:2006:ECR,% Cervesato:2007:RMC,% Hamana:2006:IAA,% Zerny:2013:GRR% }. \NAMECITE{Rid}{% Tennent:2009:ILS,% Landin:2009:GRL% }. \NAMECITE{{Robert}}{% Mairson:2005:RP% }. \NAMECITE{robust}{% Grov:2010:HBC% }. \NAMECITE{roundoff}{% Martel:2006:SRE% }. \NAMECITE{Rules}{% Sandewall:1999:EUC,% Pardo:2011:SFR% }. \NAMECITE{Run}{% Hornof:1999:CCR,% Rudolph:2010:MTS% }. \NAMECITE{Run-Time}{% Hornof:1999:CCR% }. \NAMECITE{Safe}{% Biagioni:1998:SST,% Rudolph:2010:MTS% }. \NAMECITE{Safe-for-Space}{% Biagioni:1998:SST% }. \NAMECITE{sanity}{% Salama:2011:SCC% }. \NAMECITE{{Scala}}{% Rompf:2012:SVL% }. \NAMECITE{{Scala-Virtualized}}{% Rompf:2012:SVL% }. \NAMECITE{Scenarios}{% LeMeur:2004:SSP% }. \NAMECITE{Scheme}{% Dube:2005:BVC,% Fraguas:2007:NGS,% Krishnamurthi:2007:IUP,% Abelson:1998:RRA,% Kiselyov:2005:IMS,% Sussman:1998:FRS,% Sussman:1998:SIE,% Waddell:2005:FLF% }. \NAMECITE{scientist}{% Bornat:2009:PLA% }. \NAMECITE{{Scsh}}{% Gasbichler:2005:IUL% }. \NAMECITE{Second}{% Grobauer:2001:SFP% }. \NAMECITE{Secure}{% Sabelfeld:2001:PMS,% Zdancewic:2002:SIF% }. \NAMECITE{Selectors}{% Meunier:2005:SMS% }. \NAMECITE{Self}{% Mogensen:2000:LTS% }. \NAMECITE{Self-Interpretation}{% Mogensen:2000:LTS% }. \NAMECITE{Semantic}{% Talcott:1998:CSM% }. \NAMECITE{Semantics}{% Ford:2003:FFO,% Giacobazzi:2003:NSS,% Martel:2006:SRE,% Olveczky:2007:SPR,% Strachey:2000:CMS,% Serrano:2010:MTS% }. \NAMECITE{sensitive}{% Amtoft:2008:FST,% Lakhotia:2010:CSA% }. \NAMECITE{separation}{% Liu:2011:TSS% }. \NAMECITE{sequences}{% Iwasaki:2011:PIS% }. \NAMECITE{Sequential}{% Sabelfeld:2001:PMS% }. \NAMECITE{server}{% Krishnamurthi:2007:IUP% }. \NAMECITE{Servers}{% Queinnec:2004:CWS% }. \NAMECITE{Set}{% Meunier:2005:SMS% }. \NAMECITE{sets}{% Gadducci:2006:APA,% Spoto:2010:MSL% }. \NAMECITE{sharing}{% Naylor:2009:ESF% }. \NAMECITE{sheaves}{% Gadducci:2006:APA% }. \NAMECITE{Short}{% Johann:2002:GSC% }. \NAMECITE{Short-Cut}{% Johann:2002:GSC% }. \NAMECITE{Shortcut}{% Pardo:2011:SFR% }. \NAMECITE{Side}{% Chen:2011:SEL% }. \NAMECITE{Side-effect}{% Chen:2011:SEL% }. \NAMECITE{Simply}{% Coquand:2002:FPS% }. \NAMECITE{simulation}{% Gill:2012:TAT,% Shan:2007:SSD% }. \NAMECITE{Sized}{% Chin:2001:CST% }. \NAMECITE{Slicing}{% Giacobazzi:2003:NSS,% Hatcliff:2000:SSM,% Ochoa:2008:DSL% }. \NAMECITE{Software}{% Hatcliff:2000:SSM,% Grov:2010:HBC% }. \NAMECITE{solutions}{% Asai:2009:TDC% }. \NAMECITE{Some}{% Scott:2000:SRS% }. \NAMECITE{Soundness}{% Coquand:2002:FPS% }. \NAMECITE{Space}{% Biagioni:1998:SST,% Herman:2010:SEG% }. \NAMECITE{Space-efficient}{% Herman:2010:SEG% }. \NAMECITE{Specialisation}{% Gallagher:2001:RTL,% Barker:2008:EFA% }. \NAMECITE{Specialization}{% Chirokoff:1999:CPD,% Khoo:2004:PAO,% LeMeur:2004:SSP,% Pettorossi:2005:DEL,% Thibault:2000:SDP,% Debois:2008:IPT% }. \NAMECITE{specialized}{% Liu:2011:TSS% }. \NAMECITE{specializers}{% GlAck:2008:IJO% }. \NAMECITE{Specification}{% Smith:2002:SDA,% Cervesato:2007:RMC,% Middelkoop:2010:LSG% }. \NAMECITE{Specifications}{% Leonard:2003:PSF% }. \NAMECITE{{SSA}}{% Ziarek:2008:FTS% }. \NAMECITE{Stack}{% Biagioni:2001:NPS% }. \NAMECITE{Staged}{% Nanevski:2003:AGS,% Liu:2011:TSS% }. \NAMECITE{Standard}{% Giacobazzi:2003:NSS,% Biagioni:1998:SST,% Biagioni:2001:NPS% }. \NAMECITE{State}{% Schmidt:2007:STMa,% Schmidt:2007:STMb,% Nandivada:2006:DSR% }. \NAMECITE{State-transition}{% Schmidt:2007:STMa,% Schmidt:2007:STMb% }. \NAMECITE{Static}{% Liu:2003:DPS,% Salama:2011:SCC,% Thibault:2000:SDP,% Shan:2007:SSD% }. \NAMECITE{Storage}{% Tennent:2000:AMS% }. \NAMECITE{Stories}{% Clark:2009:SAC% }. \NAMECITE{{Strachey}}{% Burstall:2000:CSU,% Gordon:2000:CSR,% Jackson:2000:CSP,% Landin:2000:MYS,% Penrose:2000:RCS,% Richards:2000:CSC,% Schmidt:2000:IDC,% Scott:2000:SRS,% Stoy:2000:CSF% }. \NAMECITE{Strategies}{% Clinger:1999:ISF% }. \NAMECITE{stricterness}{% Holdermans:2010:MSM% }. \NAMECITE{Strictly}{% Lillibridge:1999:UEC% }. \NAMECITE{Strong}{% Gortz:2003:SNW% }. \NAMECITE{Strongly}{% Cregut:2007:SRV% }. \NAMECITE{Structural}{% Capper:2012:STS% }. \NAMECITE{structured}{% Hu:2008:PED% }. \NAMECITE{Study}{% Landin:2009:CHH% }. \NAMECITE{Style}{% Boudol:1998:CDS% }. \NAMECITE{substitution}{% Lang:2007:ELK% }. \NAMECITE{Substitutions}{% Coquand:2002:FPS,% Ghani:2006:ESH% }. \NAMECITE{Subtyping}{% Aiken:1999:ORP% }. \NAMECITE{Symbolic}{% Meseguer:2007:SRA,% Henglein:2010:GMP% }. \NAMECITE{Syntactic}{% Dybvig:2000:MSA,% Moreau:1998:STD,% Xiao:2001:STI% }. \NAMECITE{syntax}{% Ghani:2006:ESH% }. \NAMECITE{Synthesis}{% Leonard:2003:PSF,% Gill:2012:TAT% }. \NAMECITE{System}{% Alves:2010:LIT,% Dube:2005:BVC,% Grov:2010:HBC,% Middelkoop:2010:LSG% }. \NAMECITE{Systems}{% Smith:2002:SDA,% Amtoft:2008:FST,% Bertolissi:2006:ECR,% Capper:2012:STS,% Hamana:2006:IAA% }. \NAMECITE{Technique}{% Douence:2001:GRT% }. \NAMECITE{Temporal}{% Lacey:2004:COC% }. \NAMECITE{term}{% Hamana:2006:IAA% }. \NAMECITE{Termination}{% Xi:2002:DTP,% Duran:2008:POT% }. \NAMECITE{terms}{% Norrish:2006:MCU% }. \NAMECITE{testing}{% Klein:2012:RVM% }. \NAMECITE{{TFP}}{% Zsok:2013:ET% }. \NAMECITE{theorem}{% Niqui:2011:PMT% }. \NAMECITE{theoretic}{% Ariola:2007:PTF,% Ariola:2009:TTF% }. \NAMECITE{Theories}{% Talcott:1998:CSM,% Xiao:2001:STI% }. \NAMECITE{Theory}{% Moreau:1998:STD,% Norrish:2006:MCU% }. \NAMECITE{Threads}{% Biagioni:1998:SST,% Gasbichler:2005:IUL,% Kerneis:2011:CPC,% Kerneis:2011:ECP% }. \NAMECITE{three}{% Asai:2009:TDC% }. \NAMECITE{tier}{% Serrano:2010:MTS% }. \NAMECITE{Time}{% Hornof:1999:CCR,% Mogensen:2000:LTS,% Matsuda:2012:PTI,% Rudolph:2010:MTS,% Olveczky:2007:SPR% }. \NAMECITE{Too}{% Meunier:2005:SMS% }. \NAMECITE{tools}{% Bischof:2008:IAD% }. \NAMECITE{Topics}{% Mogensen:2000:GPE% }. \NAMECITE{Totally}{% Pettorossi:2008:TCLa,% Pettorossi:2008:TCLb% }. \NAMECITE{trace}{% Skalka:2008:TTE% }. \NAMECITE{trails}{% Ochoa:2008:DSL% }. \NAMECITE{Transform}{% Kucan:1998:RAC% }. \NAMECITE{transformation}{% Clerici:2013:GIT,% Debois:2008:IPT,% Grov:2010:HBC% }. \NAMECITE{Transformational}{% Goyal:2005:TDI% }. \NAMECITE{transformations}{% Hu:2008:PED,% Hulaas:2008:PTL,% Pettorossi:2008:TCLa,% Pettorossi:2008:TCLb% }. \NAMECITE{transition}{% Schmidt:2007:STMa,% Schmidt:2007:STMb% }. \NAMECITE{Translation}{% Gortz:2003:SNW% }. \NAMECITE{Translations}{% Barthe:1999:CTA% }. \NAMECITE{traversals}{% Chadwick:2010:FAG,% Matsuda:2012:PTI% }. \NAMECITE{Tree}{% Gallagher:2001:RTL,% Moreau:2001:TRD% }. \NAMECITE{Trends}{% Achten:2010:TTF,% Achten:2010:TTF% }. \NAMECITE{tuples}{% Ziarek:2008:FTS% }. \NAMECITE{Twice}{% Thielecke:1999:UCT% }. \NAMECITE{two}{% Simon:2010:TVP% }. \NAMECITE{Type}{% Grobauer:2001:SFP,% Harper:1993:PTA,% Harper:2003:CPT,% Kobayashi:2001:TBU,% Liu:2011:TSS,% Nishizaki:2000:PEC,% Amtoft:2008:FST,% Ariola:2009:TTF,% Clerici:2013:GIT,% Gill:2012:TAT,% Rudolph:2010:MTS,% elBoustani:2011:ITE% }. \NAMECITE{Type-Based}{% Kobayashi:2001:TBU% }. \NAMECITE{Type-Directed}{% Grobauer:2001:SFP% }. \NAMECITE{Type-Inference}{% Nishizaki:2000:PEC% }. \NAMECITE{type-safe}{% Rudolph:2010:MTS% }. \NAMECITE{Type-specialized}{% Liu:2011:TSS% }. \NAMECITE{type-theoretic}{% Ariola:2009:TTF% }. \NAMECITE{Typed}{% Coquand:2002:FPS,% Pottier:2006:PTD,% Sasano:2012:ACV% }. \NAMECITE{Types}{% Aiken:1999:ORP,% Chin:2001:CST,% Gill:2012:TAT,% Skalka:2008:TTE,% Xi:2002:DTP,% Alves:2010:LIT,% Capper:2012:STS,% Cervesato:2007:RMC,% Johann:2009:PAP,% Salama:2011:SCC,% Swierstra:2010:MDT% }. \NAMECITE{typing}{% Asai:2009:TDC,% Herman:2010:SEG% }. \NAMECITE{Unchecked}{% Lillibridge:1999:UEC% }. \NAMECITE{uncurrying}{% Dargaye:2009:VFH,% Hannan:2000:HOU% }. \NAMECITE{Understanding}{% Burstall:2000:CSU% }. \NAMECITE{Unique}{% Xiao:2001:STI% }. \NAMECITE{Universal}{% deMoor:2003:URP,% GlAck:2008:IJO% }. \NAMECITE{unparsing}{% Asai:2011:FU% }. \NAMECITE{Use}{% Sandewall:1999:EUC,% Krishnamurthi:2007:IUP% }. \NAMECITE{Useless}{% Kobayashi:2001:TBU% }. \NAMECITE{Useless-Variable}{% Kobayashi:2001:TBU% }. \NAMECITE{User}{% Gasbichler:2005:IUL% }. \NAMECITE{User-Level}{% Gasbichler:2005:IUL% }. \NAMECITE{Using}{% Kristensen:2004:ICP,% Leonard:2003:PSF,% Reppy:2002:ONL,% Salama:2011:SCC,% Thielecke:1999:UCT,% Voigtlander:2004:UCP,% Chadwick:2010:FAG,% Lang:2007:ELK,% Meseguer:2007:SRA,% Nandivada:2006:DSR,% Norrish:2006:MCU% }. \NAMECITE{Value}{% Hasegawa:2002:ARC,% Hirschowitz:2009:CER,% Levy:2006:CPV% }. \NAMECITE{Variable}{% Kobayashi:2001:TBU,% Hamana:2006:IAA,% Sasano:2012:ACV,% Simon:2010:TVP,% Tanaka:2006:PDL% }. \NAMECITE{Variadic}{% Goldberg:2005:VEC% }. \NAMECITE{variants}{% Cregut:2007:SRV% }. \NAMECITE{Verification}{% Xi:2002:DTP,% Meseguer:2007:SRA% }. \NAMECITE{verified}{% Dargaye:2009:VFH% }. \NAMECITE{{Verilog}}{% Salama:2011:SCC% }. \NAMECITE{versioning}{% Nandivada:2006:DSR% }. \NAMECITE{versus}{% Achten:2010:TTF% }. \NAMECITE{Very}{% Dube:2005:BVC% }. \NAMECITE{via}{% Barker:2008:EFA,% Chen:2011:SEL,% Khoo:2004:PAO,% Liu:2003:DPS,% Pettorossi:2008:TCLa,% Pettorossi:2008:TCLb,% Zdancewic:2002:SIF% }. \NAMECITE{Virtual}{% Hulaas:2008:PTL,% Klein:2012:RVM% }. \NAMECITE{{Virtualized}}{% Rompf:2012:SVL% }. \NAMECITE{{Visual}}{% Bresson:2009:VLC% }. \NAMECITE{Weak}{% Gortz:2003:SNW% }. \NAMECITE{{Web}}{% Krishnamurthi:2007:IUP,% Queinnec:2004:CWS% }. \NAMECITE{weight}{% Hulaas:2008:PTL% }. \NAMECITE{well}{% Pettorossi:2008:TCLa,% Pettorossi:2008:TCLb% }. \NAMECITE{well-founded}{% Pettorossi:2008:TCLa,% Pettorossi:2008:TCLb% }. \NAMECITE{who}{% Bornat:2009:PLA% }. \NAMECITE{widening}{% Monniaux:2009:MLW% }. \NAMECITE{wire}{% Salama:2011:SCC% }. \NAMECITE{without}{% Lakhotia:2010:CSA% }. \NAMECITE{Work}{% Scott:2000:SRS% }. \NAMECITE{Written}{% Sandewall:1999:EUC% }. \NAMECITE{Years}{% Landin:2000:MYS% }.