Augmented [109]. Automatic [105,106]. Automating [77]. Axiom

A Complete Bibliography of Publications in Higher-Order

Symbolic Computation

Nelson H.F.Beebe

Center for Scienti?c Computing

University of Utah

Department of Mathematics,110LCB

155S1400E RM233

Salt Lake City,UT84112-0090

USA

Tel:+18015815254

FAX:+18015814148

E-mail:beebe@c368ef2fed630b1c59eeb583,beebe@c368ef2fed630b1c59eeb583,

beebe@c368ef2fed630b1c59eeb583(Internet)

WWW URL:c368ef2fed630b1c59eeb583/~beebe/

06July2005

Version2.00

Title word cross-reference 5[3].p[8].

-Calculus[8].

1960s[42].

Abstract[52,70,119].Abstraction[40]. Accumulating[112].Act[43].

Actor[11,90].Adaptation[111]. Algebraic[119].Algorithm[25,59]. Algorithmic[3].Analysis[79,104,119]. Applications[23].

Approach[7,35,69,110].APTS[96]. Arithmetics[97].Assignment[1,107].

Augmented[109].Automatic[105,106]. Automating[77].Axioms[87]. Barrelled[83].Based[29,30,72,116].

Be[20].Beyond[23].Binding[10]. Bisimilarity[120].

Calculating[73].Calculi[49].

Calculus[8,16,21,58,59,80,101,120]. Call[19,20,87].Call-by-Value[87].

Call/CC[19,20].Cambridge[42,48]. Can[20].CC[19,20].Certifying[33]. Christopher[39,41,44,47,48,51]. Circular[112].Class[18,79].Code[33]. Collection[76].Coloured[115]. Combining[32].Comparing[83,100]. Compilation[33,56].

1

2

Compiler[35,48,114].

Compiler-Compiler[35].Compiling[21]. Completeness[80].Composable[11]. Computation[34,35].

Computational[97].Computer[66]. Computing[24].Concepts[37,38,46,51]. Constraint[111].Construction[62]. Constructs[83].Contexts[24]. Continuation[19,29,30,85].

Continuation-Based[29,30]. Continuation-Passing[85]. Continuations[18,21,53,54,86,118]. Contributions[49].Control[83]. Conversion[1,84,107].

Correctness[89,114].Corrigendum[107]. Cost[109].Cost-Augmented[109].

CPL[42,48].CPS[1,7,23,83,84,107]. Cube[23].Cut[89].

Data[32].Declaring[110]. Decomposition[77].De?nitional[13,14]. Deforest[112].Dependent[81,104]. Diagrams[90].Di?erence[97].

Di?erencing[97].Di?erentiation[66]. Direct[8].Directed[71].

Distributed[76].Divided[97].

Divided-Di?erence[97].Domain[70]. Domains[49].Double[83].

Double-Barrelled[83].

Dynamic[10,56,95].

Early[21].

Editorial[2,12,17,26,31,36,55,60,64,68, 74,78,82,88,92,98,102,108,113,117].

E?ciency[61].Elimination[72]. Engineering[49].Environment[59]. Euclidean[25].

Evaluation[21,25,34,35,63,69,71,76,109]. Exceptions[20].Explicit[80]. Expressive[19].Extended[16].

First[15,18,21].First-Class[18].

First-Order[21].Flow[67,86].

Follow[43].Foreword[37].Formal[96,99].Formalised[80]. Formalization[79].Foundations[99]. Full[54].Functional[66,91,100,109,115]. Fundamental[37,38,51].Fusion[89]. Futamura[71].

Garbage[76].Generalization[5,6,89]. Generation[33,105,106].Generic[65]. Geometric[105,106].Geometry[91]. Glossary[63].Growing[27].

Handling[54].Hard[43].Higher[14,57]. Higher-Order[14,57].Hybrid[69]. Implementation[18,46,76]. Implementing[115].Implications[19]. Incrementalization[61,95].

Induction[49].Inference[59].

In?uence[41].Information[67,86]. Interpretation[58,119].

Interpreter[16,56].

Interpreters[13,14,77].

Introduction[4,5,22,61].

Java[79].Jumps[5,6,54].

Labels[5,6].Lambda[16,58,80,101]. Lambda-Calculus[80].

Lambda-I-Calculus[101].Landin[5]. Language[3,27,46,49,115].

Languages[14,37–39,65,70,100].

Linear[58,85,86].Linear-Time[58]. Loading[79].Local[84].

Logic[104,109,114].Loops[84]. Macrogeneration[40].

Management[116].Mathematical[54]. Memory[116].ML[9,75].Model[62,67]. Models[11,52].Multiprocessing[29,30]. My[45].

Nested[84].Nets[115].Network[75]. Non[103].Non-Standard[103]. Normalization[101].

REFERENCES3

Object[65].Object-Oriented[65].

O?ine[69].Online[69].Operational[99]. Optimal[28].Optimization[114]. Optimizing[84].Order[14,21,57]. Oriented[65].Output[111].

Output-Constraint[111].

Parallel[100].Parameters[112].

Partial[21,25,34,35,63,69,71,109]. Passing[85].Path[94,104].

Performance[76,100].Personal[44].

Petri[115].Polymorphic[1,28,59,107]. Power[19,119].Powerful[20].

Pragmatic[110].Predicate[21]. Predicates[105,106].Process[34,35]. Program[32,56,70,81,96,103,110,111]. Programming[14,37–39,49,95,100,115]. Programming-Language[49].

Programs[66,67,104,109,112].

Projection[71].Proof[77,80,89]. Protocol[75].Pure[58].

Queries[94].

Recollection[44].Recollections[41]. Recursion[87].Re?ections[50].

Re?ective[65].Region[116,120].

Region-Based[116].Regular[70,94].

Rei?cation[65].Related[63]. Reminiscences[47].Report[3,15]. Representations[28].Requirements[96]. Rerooting[76].Research[93].

Retraction[7].Retrospective[93,116]. Revised[3].

Revisited[13,15,25,29,34,53].Rules[21]. Run[33].Run-Time[33].

Safe[9].Safe-for-Space[9].

Scenarios[110].Scheme[3,15,16]. Second[71].Secure[67,86].Self[58].

Self-Interpretation[58].Semantic[11]. Semantics[54,99,103].Sequential[67]. Servers[118].Short[89].Short-Cut[89]. Simply[80].Sized[73].Slicing[62,103].Software[62].Some[50].Soundness[80]. Space[9].Specialisation[70]. Specialization[32,56,110,111].

Speci?cation[90].Speci?cations[96]. Stack[75].Staged[105,106].

Standard[9,75,103].Static[56,95]. Storage[52].

Strachey[39,41,44,45,47–51].

Strategies[18].Strictly[20].Strong[101]. Style[8].Substitutions[80].

Subtyping[28].Syntactic[10,40,77]. Synthesis[96].Systems[90].

Technique[65].Temporal[114]. Termination[81].Theories[11,77]. Theory[10].Threads[9].Time[33,58]. Topics[63].Transform[7].

Translation[101].Translations[23].

Tree[70,76].Twice[19].

Type[1,59,71,72,107].Type-Based[72]. Type-Directed[71].Type-I …… 此处隐藏：45671字，全部文档内容请下载后查看。喜欢就下载吧 ……