Personal tools

User:Tom

From HaskellWiki

Revision as of 22:52, 22 February 2009 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
 Blog: tommd.wordpress.com
 Interests: Formal methods, verification, information flow, run time systems
 Packages: hsXenCtrl, control-event, pureMD5, ipc, control-engine