David Teller

typetitleauthorlast post sort icon
StoryDynamic typing in OCaml Matt Hellige2005-09-22 23:22
Forum topicMemory fault and segmentation faults pakumar212005-08-04 21:46
Forum topicNew C++-like language for Windows neoakut2005-06-13 14:44
Forum topicCall for Papers: ACM Symposium on Dynamic Languages rwuyts2005-05-17 17:28
Forum topicLinks Philip Wadler2005-05-07 10:23
Forum topicexpressivity of lisp/scheme but speed of assembly/C/C++ shahbaz2005-05-07 06:27
StoryWhy do computers stop and what can be done about it? Luke Gorrie2005-05-05 15:07
Forum topicVirtual Machine and Runtime Framework Nicolas Cannasse2005-04-29 13:41
StoryComputer generates verifiable mathematics proof Ehud Lamm2005-04-27 10:44
Forum topicEncodings (wikipedia) David Teller2005-04-20 11:42
StoryRecovering resources in the pi-calculus Andris Birkmanis2005-04-05 21:54