Hai Fang
[home]
[research]
[links]
[contact info]
Local info
Upcoming events
Research resources
- Yale Library,
E-jorunal,
DBLP,
NECI,
ACM,
AAAI,
IEEE,
Springer-LNCS,
CRA,
ECCC,
arXiv
- Resources for Programming Language Research,
Automated Reasoning
(Tools)
- FLINT,
SIP,
SML/NJ,
OCaml,
Coq,
Twelf,
Logical Frameworks,
TAL,
TILT
- Programming Language Theory Texts Online,
Language-Based Security Notes and Papers
- Constraint Programming online,
SAT Live!,
SAT-Ex,
SATLIB,
CSPLIB,
PBLIB,
QBFLIB,
OR-Library,
INFORMS OR/MS,
SAT resources
- The Stony Brook Algorithm Repository,
A compendium of NP optimization problems
- DotFiles,
CVS,
GNU manuals online,
PDF related,
Xfig
- LaTeX for Logicians,
Latex Math Symbols,
LaTeX Seminar Package,
LaTeX Algorithm Package,
presentations in LaTeX,
using Prosper,
ConTeXt,
Beamer
- Wilson Hsieh's Resources on Academia,
Mark Leone's Collection on Advice on Research and Writing,
Manuel Blum's 4R's,
Toby Walsh's Page on PhD skills
- TYPES Forum,
ProofTheory,
Theory-Edge,
Lambda the Ultimate,
readScheme
- Electronic Referee Assistant
Misc links