User:Tom

From HaskellWiki

Revision as of 15:58, 24 February 2008 by Tom (talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Jump to: navigation, search

 Name: Tom
 IRC: TomMD
 Sequence.complete.org: TomMD
 Interests: Formal methods, verification, information flow, run time systems

Retrieved from "https://wiki.haskell.org/index.php?title=User:Tom&oldid=19467"