Simon's links page
Search tools
Google
Citeseer
PCC/TAL projects (with some members):
SEC (UNSW)
Manuel Chakravarty
Nicolas Magaud
Simon Winwood (Me :)
Donald Stewart
Roshan Ragal
Secure Internet Programming (Princeton)
Andrew Appel
The ConCert Project (CMU)
Bob Harper
Karl Crary
TALC (Cornell)
Twelf (CMU)
Security
History of Computer Security
Useful
The Collection of Computer Science Bibliographies
The Journal of Symbolic Logic
online, 1936 - 1998
Random people
Henk Barendregt
Barcelona
Tourist info
Programming:
NoWEB
, general literate programming.
[
Code
~
Papers etc.
~
Contact details
~
Links
]
Page last modified: Monday, 19-Jul-2004 20:55:22 EST.
Copyright (C)
Simon Winwood
2004.