Research:	[ACM Portal] [Dict] [Flint] [Google] [Hypatia] [NECI] [Orbis] [Yahoo] [LNCS]
Companies & Projects:	[Coq] [IBM Research] [Oreilly] [SDRL] [Twelf] [NuPRL]
Yale:	[Classes] [JVMSEM] [Library] [YaleInfo] [Zoo] [Network Reg]
People:	[Betarte] [Drossopoulou] [Pierce] [Qjan] [Shao (links)] [Wadler]
Java:	[@Sun] [API] [JSRs] [ReflAPI] [Jove] [Jalapeno] [JVMs] [NativeComps] [JavaProgBook] [JavaSpecRep] [JRB] [Compiling] [Compiling2] [Tutorial] [Tut2] [Tut3] [RevEngr] [Research]
Stuff:	[Netcraft] [Lynx-It] [Dialectizer] [Beta] [Joy] [Merlin] [Fonts] [TreasureTroves] [MathWorld] [Logic] [LanguageList] [FreeCompilers] [Tunes] [Lisp] [Modulo] [Antlr] [ODP] [AnswerSleuth] [Bibliomania] [LEO] [SemanticDesigns] [GenovaU] [CompRefl(Tokyo)] [LispThesis] [OpenLang] [ANSA] [AOP] [Refl1]
Tools:	[Babelfish] [EmacsManual] [HTMLSpec] [TexPoint] [TUG]
Islam:	[More]
Me

---