Personal tools

User:Tom

From HaskellWiki

(Difference between revisions)
Jump to: navigation, search
m

Revision as of 15:58, 24 February 2008

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