%%====================================================================== %% 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@psi.math.utah.edu on Wed Jul 6 16:28:04 MDT 2005 %%====================================================================== \ifx \NAMECITE \undefined % User can override this definition \def \NAMECITE #1#2{{\bf #1}~\cite{#2}} \fi \NAMECITE{$^5$}{% Abelson:1998:RRA% }. \NAMECITE{$p$}{% Boudol:1998:CDS% }. \NAMECITE{-Calculus}{% Boudol:1998:CDS% }. \NAMECITE{1960s}{% Hartley:2000:CC% }. \NAMECITE{Abstract}{% Gallagher:2001:RTL,% Mastroeni:2004:APA,% Tennent:2000:AMS% }. \NAMECITE{Abstraction}{% Dybvig:2000:MSA% }. \NAMECITE{Accumulating}{% Voigtlander:2004:UCP% }. \NAMECITE{Act}{% Hoare:2000:HAF% }. \NAMECITE{Actor}{% Smith:2002:SDA,% Talcott:1998:CSM% }. \NAMECITE{Adaptation}{% Khoo:2004:PAO% }. \NAMECITE{Algebraic}{% Mastroeni:2004:APA% }. \NAMECITE{Algorithm}{% Lee:1999:PEE,% Nishizaki:2000:PEC% }. \NAMECITE{Algorithmic}{% Abelson:1998:RRA% }. \NAMECITE{Analysis}{% Lu:2003:PDA,% Mastroeni:2004:APA,% Tozawa:2002:FAC% }. \NAMECITE{Applications}{% Barthe:1999:CTA% }. \NAMECITE{Approach}{% Futamura:1999:PECb,% Kucan:1998:RAC,% LeMeur:2004:SSP,% Sumii:2001:HAO% }. \NAMECITE{{APTS}}{% Leonard:2003:PSF% }. \NAMECITE{Arithmetics}{% Reps:2003:CDD% }. \NAMECITE{Assignment}{% Harper:1993:PTA,% Harper:2003:CPT% }. \NAMECITE{Augmented}{% Vidal:2004:CAP% }. \NAMECITE{Automatic}{% Corrigendum:2003:AGS,% Nanevski:2003:AGS% }. \NAMECITE{Automating}{% Xiao:2001:STI% }. \NAMECITE{Axioms}{% Hasegawa:2002:ARC% }. \NAMECITE{Barrelled}{% Thielecke:2002:CCC% }. \NAMECITE{Based}{% Kobayashi:2001:TBU,% Tofte:2004:RRB,% Wand:1999:CBMa,% Wand:1999:CBMb% }. \NAMECITE{Be}{% Lillibridge:1999:UEC% }. \NAMECITE{Beyond}{% Barthe:1999:CTA% }. \NAMECITE{Binding}{% Moreau:1998:STD% }. \NAMECITE{Bisimilarity}{% Helsen:2004:BRC% }. \NAMECITE{Calculating}{% Chin:2001:CST% }. \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% }. \NAMECITE{Call}{% Hasegawa:2002:ARC,% Lillibridge:1999:UEC,% Thielecke:1999:UCT% }. \NAMECITE{Call-by-Value}{% Hasegawa:2002:ARC% }. \NAMECITE{{Call/CC}}{% Lillibridge:1999:UEC,% Thielecke:1999:UCT% }. \NAMECITE{{Cambridge}}{% Hartley:2000:CC,% Richards:2000:CSC% }. \NAMECITE{Can}{% Lillibridge:1999:UEC% }. \NAMECITE{{CC}}{% Lillibridge:1999:UEC,% Thielecke:1999:UCT% }. \NAMECITE{Certifying}{% Hornof:1999:CCR% }. \NAMECITE{{Christopher}}{% Burstall:2000:CSU,% Gordon:2000:CSR,% Jackson:2000:CSP,% Penrose:2000:RCS,% Richards:2000:CSC,% Stoy:2000:CSF% }. \NAMECITE{Circular}{% Voigtlander:2004:UCP% }. \NAMECITE{Class}{% Clinger:1999:ISF,% Tozawa:2002:FAC% }. \NAMECITE{Code}{% Hornof:1999:CCR% }. \NAMECITE{Collection}{% Moreau:2001:TRD% }. \NAMECITE{Coloured}{% Kristensen:2004:ICP% }. \NAMECITE{Combining}{% Chirokoff:1999:CPD% }. \NAMECITE{Comparing}{% Loidl:2003:CPF,% Thielecke:2002:CCC% }. \NAMECITE{Compilation}{% Hornof:1999:CCR,% Thibault:2000:SDP% }. \NAMECITE{Compiler}{% Futamura:1999:PECb,% Lacey:2004:COC,% Richards:2000:CSC% }. \NAMECITE{Compiler-Compiler}{% Futamura:1999:PECb% }. \NAMECITE{Compiling}{% Sandewall:1999:EUC% }. \NAMECITE{Completeness}{% Coquand:2002:FPS% }. \NAMECITE{Composable}{% Talcott:1998:CSM% }. \NAMECITE{Computation}{% Futamura:1999:PECa,% Futamura:1999:PECb% }. \NAMECITE{Computational}{% Reps:2003:CDD% }. \NAMECITE{Computer}{% Karczmarczuk:2001:FDC% }. \NAMECITE{Computing}{% Mason:1999:CC% }. \NAMECITE{Concepts}{% Milne:2000:LCI,% Mosses:2000:FFC,% Stoy:2000:CSF,% Strachey:2000:FCP% }. \NAMECITE{Constraint}{% Khoo:2004:PAO% }. \NAMECITE{Construction}{% Hatcliff:2000:SSM% }. \NAMECITE{Constructs}{% Thielecke:2002:CCC% }. \NAMECITE{Contexts}{% Mason:1999:CC% }. \NAMECITE{Continuation}{% Berdine:2002:LCP,% Thielecke:1999:UCT,% Wand:1999:CBMa,% Wand:1999:CBMb% }. \NAMECITE{Continuation-Based}{% Wand:1999:CBMa,% Wand:1999:CBMb% }. \NAMECITE{Continuation-Passing}{% Berdine:2002:LCP% }. \NAMECITE{Continuations}{% Clinger:1999:ISF,% Queinnec:2004:CWS,% Sandewall:1999:EUC,% Strachey:2000:CMS,% Wadsworth:2000:CR,% Zdancewic:2002:SIF% }. \NAMECITE{Contributions}{% Schmidt:2000:IDC% }. \NAMECITE{Control}{% Thielecke:2002:CCC% }. \NAMECITE{Conversion}{% Harper:1993:PTA,% Harper:2003:CPT,% Reppy:2002:ONL% }. \NAMECITE{Correctness}{% Johann:2002:GSC,% Lacey:2004:COC% }. \NAMECITE{Corrigendum}{% Harper:2003:CPT% }. \NAMECITE{Cost}{% Vidal:2004:CAP% }. \NAMECITE{Cost-Augmented}{% Vidal:2004:CAP% }. \NAMECITE{{CPL}}{% Hartley:2000:CC,% Richards:2000:CSC% }. \NAMECITE{{CPS}}{% Barthe:1999:CTA,% Harper:1993:PTA,% Harper:2003:CPT,% Kucan:1998:RAC,% Reppy:2002:ONL,% Thielecke:2002:CCC% }. \NAMECITE{Cube}{% Barthe:1999:CTA% }. \NAMECITE{Cut}{% Johann:2002:GSC% }. \NAMECITE{Data}{% Chirokoff:1999:CPD% }. \NAMECITE{Declaring}{% LeMeur:2004:SSP% }. \NAMECITE{Decomposition}{% Xiao:2001:STI% }. \NAMECITE{Definitional}{% Reynolds:1998:DIH,% Reynolds:1998:DIR% }. \NAMECITE{Deforest}{% Voigtlander:2004:UCP% }. \NAMECITE{Dependent}{% Lu:2003:PDA,% Xi:2002:DTP% }. \NAMECITE{Diagrams}{% Smith:2002:SDA% }. \NAMECITE{Difference}{% Reps:2003:CDD% }. \NAMECITE{Differencing}{% Reps:2003:CDD% }. \NAMECITE{Differentiation}{% Karczmarczuk:2001:FDC% }. \NAMECITE{Direct}{% Boudol:1998:CDS% }. \NAMECITE{Directed}{% Grobauer:2001:SFP% }. \NAMECITE{Distributed}{% Moreau:2001:TRD% }. \NAMECITE{Divided}{% Reps:2003:CDD% }. \NAMECITE{Divided-Difference}{% Reps:2003:CDD% }. \NAMECITE{Domain}{% Gallagher:2001:RTL% }. \NAMECITE{Domains}{% Schmidt:2000:IDC% }. \NAMECITE{Double}{% Thielecke:2002:CCC% }. \NAMECITE{Double-Barrelled}{% Thielecke:2002:CCC% }. \NAMECITE{Dynamic}{% Liu:2003:DPS,% Moreau:1998:STD,% Thibault:2000:SDP% }. \NAMECITE{Early}{% Sandewall:1999:EUC% }. \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,% Kessler:1998:E% }. \NAMECITE{Efficiency}{% Liu:2000:EII% }. \NAMECITE{Elimination}{% Kobayashi:2001:TBU% }. \NAMECITE{Engineering}{% Schmidt:2000:IDC% }. \NAMECITE{Environment}{% Nishizaki:2000:PEC% }. \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% }. \NAMECITE{Exceptions}{% Lillibridge:1999:UEC% }. \NAMECITE{Explicit}{% Coquand:2002:FPS% }. \NAMECITE{Expressive}{% Thielecke:1999:UCT% }. \NAMECITE{Extended}{% Sussman:1998:SIE% }. \NAMECITE{First}{% Clinger:1999:ISF,% Sandewall:1999:EUC,% Sussman:1998:FRS% }. \NAMECITE{First-Class}{% Clinger:1999:ISF% }. \NAMECITE{First-Order}{% Sandewall:1999:EUC% }. \NAMECITE{Flow}{% Sabelfeld:2001:PMS,% Zdancewic:2002:SIF% }. \NAMECITE{Follow}{% Hoare:2000:HAF% }. \NAMECITE{Foreword}{% Mosses:2000:FFC% }. \NAMECITE{Formal}{% Ford:2003:FFO,% Leonard:2003:PSF% }. \NAMECITE{Formalised}{% Coquand:2002:FPS% }. \NAMECITE{Formalization}{% Tozawa:2002:FAC% }. \NAMECITE{Foundations}{% Ford:2003:FFO% }. \NAMECITE{Full}{% Strachey:2000:CMS% }. \NAMECITE{Functional}{% Henderson:2002:FG,% Karczmarczuk:2001:FDC,% Kristensen:2004:ICP,% Loidl:2003:CPF,% Vidal:2004:CAP% }. \NAMECITE{Fundamental}{% Mosses:2000:FFC,% Stoy:2000:CSF,% Strachey:2000:FCP% }. \NAMECITE{Fusion}{% Johann:2002:GSC% }. \NAMECITE{{Futamura}}{% Grobauer:2001:SFP% }. \NAMECITE{Garbage}{% Moreau:2001:TRD% }. \NAMECITE{Generalization}{% Johann:2002:GSC,% Landin:1998:GJL,% Thielecke:1998:ILG% }. \NAMECITE{Generation}{% Corrigendum:2003:AGS,% Hornof:1999:CCR,% Nanevski:2003:AGS% }. \NAMECITE{Generic}{% Douence:2001:GRT% }. \NAMECITE{Geometric}{% Corrigendum:2003:AGS,% Nanevski:2003:AGS% }. \NAMECITE{Geometry}{% Henderson:2002:FG% }. \NAMECITE{Glossary}{% Mogensen:2000:GPE% }. \NAMECITE{Growing}{% Steele:1999:GL% }. \NAMECITE{Handling}{% Strachey:2000:CMS% }. \NAMECITE{Hard}{% Hoare:2000:HAF% }. \NAMECITE{Higher}{% Hannan:2000:HOU,% Reynolds:1998:DIH% }. \NAMECITE{Higher-Order}{% Hannan:2000:HOU,% Reynolds:1998:DIH% }. \NAMECITE{Hybrid}{% Sumii:2001:HAO% }. \NAMECITE{Implementation}{% Clinger:1999:ISF,% Milne:2000:LCI,% Moreau:2001:TRD% }. \NAMECITE{Implementing}{% Kristensen:2004:ICP% }. \NAMECITE{Implications}{% Thielecke:1999:UCT% }. \NAMECITE{Incrementalization}{% Liu:2000:EII,% Liu:2003:DPS% }. \NAMECITE{Induction}{% Schmidt:2000:IDC% }. \NAMECITE{Inference}{% Nishizaki:2000:PEC% }. \NAMECITE{Influence}{% Gordon:2000:CSR% }. \NAMECITE{Information}{% Sabelfeld:2001:PMS,% Zdancewic:2002:SIF% }. \NAMECITE{Interpretation}{% Mastroeni:2004:APA,% Mogensen:2000:LTS% }. \NAMECITE{Interpreter}{% Sussman:1998:SIE,% Thibault:2000:SDP% }. \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% }. \NAMECITE{{Java}}{% Tozawa:2002:FAC% }. \NAMECITE{Jumps}{% Landin:1998:GJL,% Strachey:2000:CMS,% Thielecke:1998:ILG% }. \NAMECITE{Labels}{% Landin:1998:GJL,% Thielecke:1998:ILG% }. \NAMECITE{Lambda}{% Coquand:2002:FPS,% Gortz:2003:SNW,% Mogensen:2000:LTS,% Sussman:1998:SIE% }. \NAMECITE{Lambda-Calculus}{% Coquand:2002:FPS% }. \NAMECITE{Lambda-{I}-Calculus}{% Gortz:2003:SNW% }. \NAMECITE{{Landin}}{% Thielecke:1998:ILG% }. \NAMECITE{Language}{% Abelson:1998:RRA,% Kristensen:2004:ICP,% Milne:2000:LCI,% Schmidt:2000:IDC,% Steele:1999:GL% }. \NAMECITE{Languages}{% Burstall:2000:CSU,% Douence:2001:GRT,% Gallagher:2001:RTL,% Loidl:2003:CPF,% Mosses:2000:FFC,% Reynolds:1998:DIH,% Strachey:2000:FCP% }. \NAMECITE{Linear}{% Berdine:2002:LCP,% Mogensen:2000:LTS,% Zdancewic:2002:SIF% }. \NAMECITE{Linear-Time}{% Mogensen:2000:LTS% }. \NAMECITE{Loading}{% Tozawa:2002:FAC% }. \NAMECITE{Local}{% Reppy:2002:ONL% }. \NAMECITE{Logic}{% Lacey:2004:COC,% Lu:2003:PDA,% Vidal:2004:CAP% }. \NAMECITE{Loops}{% Reppy:2002:ONL% }. \NAMECITE{Macrogeneration}{% Dybvig:2000:MSA% }. \NAMECITE{Management}{% Tofte:2004:RRB% }. \NAMECITE{Mathematical}{% Strachey:2000:CMS% }. \NAMECITE{Memory}{% Tofte:2004:RRB% }. \NAMECITE{{ML}}{% Biagioni:1998:SST,% Biagioni:2001:NPS% }. \NAMECITE{Model}{% Hatcliff:2000:SSM,% Sabelfeld:2001:PMS% }. \NAMECITE{Models}{% Talcott:1998:CSM,% Tennent:2000:AMS% }. \NAMECITE{Multiprocessing}{% Wand:1999:CBMa,% Wand:1999:CBMb% }. \NAMECITE{My}{% Landin:2000:MYS% }. \NAMECITE{Nested}{% Reppy:2002:ONL% }. \NAMECITE{Nets}{% Kristensen:2004:ICP% }. \NAMECITE{Network}{% Biagioni:2001:NPS% }. \NAMECITE{Non}{% Giacobazzi:2003:NSS% }. \NAMECITE{Non-Standard}{% Giacobazzi:2003:NSS% }. \NAMECITE{Normalization}{% Gortz:2003:SNW% }. \NAMECITE{Object}{% Douence:2001:GRT% }. \NAMECITE{Object-Oriented}{% Douence:2001:GRT% }. \NAMECITE{Offline}{% Sumii:2001:HAO% }. \NAMECITE{Online}{% Sumii:2001:HAO% }. \NAMECITE{Operational}{% Ford:2003:FFO% }. \NAMECITE{Optimal}{% Aiken:1999:ORP% }. \NAMECITE{Optimization}{% Lacey:2004:COC% }. \NAMECITE{Optimizing}{% Reppy:2002:ONL% }. \NAMECITE{Order}{% Hannan:2000:HOU,% Reynolds:1998:DIH,% Sandewall:1999:EUC% }. \NAMECITE{Oriented}{% Douence:2001:GRT% }. \NAMECITE{Output}{% Khoo:2004:PAO% }. \NAMECITE{Output-Constraint}{% Khoo:2004:PAO% }. \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% }. \NAMECITE{Path}{% Lu:2003:PDA,% deMoor:2003:URP% }. \NAMECITE{Performance}{% Loidl:2003:CPF,% Moreau:2001:TRD% }. \NAMECITE{Personal}{% Jackson:2000:CSP% }. \NAMECITE{{Petri}}{% Kristensen:2004:ICP% }. \NAMECITE{Polymorphic}{% Aiken:1999:ORP,% Harper:1993:PTA,% Harper:2003:CPT,% Nishizaki:2000:PEC% }. \NAMECITE{Power}{% Mastroeni:2004:APA,% Thielecke:1999:UCT% }. \NAMECITE{Powerful}{% Lillibridge:1999:UEC% }. \NAMECITE{Pragmatic}{% LeMeur:2004:SSP% }. \NAMECITE{Predicate}{% Sandewall:1999:EUC% }. \NAMECITE{Predicates}{% Corrigendum:2003:AGS,% Nanevski:2003:AGS% }. \NAMECITE{Process}{% Futamura:1999:PECa,% Futamura:1999:PECb% }. \NAMECITE{Program}{% Chirokoff:1999:CPD,% Gallagher:2001:RTL,% Giacobazzi:2003:NSS,% Khoo:2004:PAO,% LeMeur:2004:SSP,% Leonard:2003:PSF,% Thibault:2000:SDP,% Xi:2002:DTP% }. \NAMECITE{Programming}{% Burstall:2000:CSU,% Kristensen:2004:ICP,% Liu:2003:DPS,% Loidl:2003:CPF,% Mosses:2000:FFC,% Reynolds:1998:DIH,% Schmidt:2000:IDC,% Strachey:2000:FCP% }. \NAMECITE{Programming-Language}{% Schmidt:2000:IDC% }. \NAMECITE{Programs}{% Karczmarczuk:2001:FDC,% Lu:2003:PDA,% Sabelfeld:2001:PMS,% Vidal:2004:CAP,% Voigtlander:2004:UCP% }. \NAMECITE{Projection}{% Grobauer:2001:SFP% }. \NAMECITE{Proof}{% Coquand:2002:FPS,% Johann:2002:GSC,% Xiao:2001:STI% }. \NAMECITE{Protocol}{% Biagioni:2001:NPS% }. \NAMECITE{Pure}{% Mogensen:2000:LTS% }. \NAMECITE{Queries}{% deMoor:2003:URP% }. \NAMECITE{Recollection}{% Jackson:2000:CSP% }. \NAMECITE{Recollections}{% Gordon:2000:CSR% }. \NAMECITE{Recursion}{% Hasegawa:2002:ARC% }. \NAMECITE{Reflections}{% Scott:2000:SRS% }. \NAMECITE{Reflective}{% Douence:2001:GRT% }. \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{Reminiscences}{% Penrose:2000:RCS% }. \NAMECITE{Report}{% Abelson:1998:RRA,% Sussman:1998:FRS% }. \NAMECITE{Representations}{% Aiken:1999:ORP% }. \NAMECITE{Requirements}{% Leonard:2003:PSF% }. \NAMECITE{Rerooting}{% Moreau:2001:TRD% }. \NAMECITE{Research}{% Paige:2003:RR% }. \NAMECITE{Retraction}{% Kucan:1998:RAC% }. \NAMECITE{Retrospective}{% Paige:2003:RR,% Tofte:2004:RRB% }. \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% }. \NAMECITE{Rules}{% Sandewall:1999:EUC% }. \NAMECITE{Run}{% Hornof:1999:CCR% }. \NAMECITE{Run-Time}{% Hornof:1999:CCR% }. \NAMECITE{Safe}{% Biagioni:1998:SST% }. \NAMECITE{Safe-for-Space}{% Biagioni:1998:SST% }. \NAMECITE{Scenarios}{% LeMeur:2004:SSP% }. \NAMECITE{{Scheme}}{% Abelson:1998:RRA,% Sussman:1998:FRS,% Sussman:1998:SIE% }. \NAMECITE{Second}{% Grobauer:2001:SFP% }. \NAMECITE{Secure}{% Sabelfeld:2001:PMS,% Zdancewic:2002:SIF% }. \NAMECITE{Self}{% Mogensen:2000:LTS% }. \NAMECITE{Self-Interpretation}{% Mogensen:2000:LTS% }. \NAMECITE{Semantic}{% Talcott:1998:CSM% }. \NAMECITE{Semantics}{% Ford:2003:FFO,% Giacobazzi:2003:NSS,% Strachey:2000:CMS% }. \NAMECITE{Sequential}{% Sabelfeld:2001:PMS% }. \NAMECITE{Servers}{% Queinnec:2004:CWS% }. \NAMECITE{Short}{% Johann:2002:GSC% }. \NAMECITE{Short-Cut}{% Johann:2002:GSC% }. \NAMECITE{Simply}{% Coquand:2002:FPS% }. \NAMECITE{Sized}{% Chin:2001:CST% }. \NAMECITE{Slicing}{% Giacobazzi:2003:NSS,% Hatcliff:2000:SSM% }. \NAMECITE{Software}{% Hatcliff:2000:SSM% }. \NAMECITE{Some}{% Scott:2000:SRS% }. \NAMECITE{Soundness}{% Coquand:2002:FPS% }. \NAMECITE{Space}{% Biagioni:1998:SST% }. \NAMECITE{Specialisation}{% Gallagher:2001:RTL% }. \NAMECITE{Specialization}{% Chirokoff:1999:CPD,% Khoo:2004:PAO,% LeMeur:2004:SSP,% Thibault:2000:SDP% }. \NAMECITE{Specification}{% Smith:2002:SDA% }. \NAMECITE{Specifications}{% Leonard:2003:PSF% }. \NAMECITE{Stack}{% Biagioni:2001:NPS% }. \NAMECITE{Staged}{% Corrigendum:2003:AGS,% Nanevski:2003:AGS% }. \NAMECITE{Standard}{% Giacobazzi:2003:NSS,% Biagioni:1998:SST,% Biagioni:2001:NPS% }. \NAMECITE{Static}{% Liu:2003:DPS,% Thibault:2000:SDP% }. \NAMECITE{Storage}{% Tennent:2000:AMS% }. \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{Strictly}{% Lillibridge:1999:UEC% }. \NAMECITE{Strong}{% Gortz:2003:SNW% }. \NAMECITE{Style}{% Boudol:1998:CDS% }. \NAMECITE{Substitutions}{% Coquand:2002:FPS% }. \NAMECITE{Subtyping}{% Aiken:1999:ORP% }. \NAMECITE{Syntactic}{% Dybvig:2000:MSA,% Moreau:1998:STD,% Xiao:2001:STI% }. \NAMECITE{Synthesis}{% Leonard:2003:PSF% }. \NAMECITE{Systems}{% Smith:2002:SDA% }. \NAMECITE{Technique}{% Douence:2001:GRT% }. \NAMECITE{Temporal}{% Lacey:2004:COC% }. \NAMECITE{Termination}{% Xi:2002:DTP% }. \NAMECITE{Theories}{% Talcott:1998:CSM,% Xiao:2001:STI% }. \NAMECITE{Theory}{% Moreau:1998:STD% }. \NAMECITE{Threads}{% Biagioni:1998:SST% }. \NAMECITE{Time}{% Hornof:1999:CCR,% Mogensen:2000:LTS% }. \NAMECITE{Topics}{% Mogensen:2000:GPE% }. \NAMECITE{Transform}{% Kucan:1998:RAC% }. \NAMECITE{Translation}{% Gortz:2003:SNW% }. \NAMECITE{Translations}{% Barthe:1999:CTA% }. \NAMECITE{Tree}{% Gallagher:2001:RTL,% Moreau:2001:TRD% }. \NAMECITE{Twice}{% Thielecke:1999:UCT% }. \NAMECITE{Type}{% Grobauer:2001:SFP,% Harper:1993:PTA,% Harper:2003:CPT,% Kobayashi:2001:TBU,% Nishizaki:2000:PEC% }. \NAMECITE{Type-Based}{% Kobayashi:2001:TBU% }. \NAMECITE{Type-Directed}{% Grobauer:2001:SFP% }. \NAMECITE{Type-Inference}{% Nishizaki:2000:PEC% }. \NAMECITE{Typed}{% Coquand:2002:FPS% }. \NAMECITE{Types}{% Aiken:1999:ORP,% Chin:2001:CST,% Xi:2002:DTP% }. \NAMECITE{Unchecked}{% Lillibridge:1999:UEC% }. \NAMECITE{{UnCurrying}}{% Hannan:2000:HOU% }. \NAMECITE{Understanding}{% Burstall:2000:CSU% }. \NAMECITE{Unique}{% Xiao:2001:STI% }. \NAMECITE{Universal}{% deMoor:2003:URP% }. \NAMECITE{Use}{% Sandewall:1999:EUC% }. \NAMECITE{Useless}{% Kobayashi:2001:TBU% }. \NAMECITE{Useless-Variable}{% Kobayashi:2001:TBU% }. \NAMECITE{Using}{% Kristensen:2004:ICP,% Leonard:2003:PSF,% Reppy:2002:ONL,% Thielecke:1999:UCT,% Voigtlander:2004:UCP% }. \NAMECITE{Value}{% Hasegawa:2002:ARC% }. \NAMECITE{Variable}{% Kobayashi:2001:TBU% }. \NAMECITE{Verification}{% Xi:2002:DTP% }. \NAMECITE{via}{% Khoo:2004:PAO,% Liu:2003:DPS,% Zdancewic:2002:SIF% }. \NAMECITE{Weak}{% Gortz:2003:SNW% }. \NAMECITE{{Web}}{% Queinnec:2004:CWS% }. \NAMECITE{Work}{% Scott:2000:SRS% }. \NAMECITE{Written}{% Sandewall:1999:EUC% }. \NAMECITE{Years}{% Landin:2000:MYS% }.