%% Do not edit-- automatically generated by makebiblio
\bibliography{KEYWORDS,abint,activelib,alg,algebra,alias,arrays,asymptotics,autocomplexity,automata,checking,coalgebra,cocv,coding,combinatorics,compilers,complexity,components,computability,cpp,dsl,extensible,fixpoint,generics,graph,hardware,hashing,hci,historyofcomputing,incremental,java,kolmogorov,lang,lattice,libraries,logic,matrixmult,meta,nonstandard,numanalysis,numtheory,oon,order,ordinals,parallel,parsing,partial,persistent,philosophy,prob,processes,realtime,recurrence,representations,research,reuse,rewrite,safety,security,selection,semantics,settheory,slicing,software,solvers,staging,stats,steiner,stores,subrecursive,tcs,theories,tveldhui,types,verify,writing,zipf}
