Difference between revisions of "User:Tom"
From HaskellWiki
m |
|||
| Line 2: | Line 2: | ||
IRC: TomMD |
IRC: TomMD |
||
Sequence.complete.org: TomMD |
Sequence.complete.org: TomMD |
||
| − | Interests: 1/0 (now is that 'does not exist', 'undefined', or 'infinity'?) |
||
| + | Interests: Formal methods, verification, information flow, run time systems |
||
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