Scott Johnson

typetitleauthorlast post sort icon
StoryComputer generates verifiable mathematics proof Ehud Lamm2005-04-27 10:44
Forum topicScript Vs Java RajeshKannan2005-04-25 17:55
Forum topicWhy Dependent Types Matter Daniel Yokomizo2005-04-24 09:20
Forum topicHow much better is the second edition of "Essentials of Programming Languages"? Martin Pomije2005-04-19 21:40
Forum topicAccording to Allen Holub programming is now a liberal art. When did this happen? ade_oshineye2005-04-16 22:46
StoryDominus talks about HO Perl Charles A Stewart2005-04-14 23:18
Forum topicEmbedding one language in another sudarshan2005-03-24 19:10
StoryμABC: A Minimal Aspect Calculus Andris Birkmanis2005-03-22 22:02
Forum topicJournals and papers? BigZaphod2005-03-22 17:56
Forum topicDesigning and Implementing DSL languages: recommended reading? ydewit2005-03-21 11:40
StoryInterview with Donald Knuth Chris Rathman2005-03-16 07:37
Forum topicHistory: Array languages James Hague2005-02-17 12:06
StorySOAP considered canonical Dominic Fox2005-02-15 09:50
Forum topicWikicities Charles A Stewart2005-02-10 11:04
Forum topicpi-ple rights oppressed Andris Birkmanis2005-02-07 18:37
Forum topicAvoiding worst case GC with large amounts of data? James Hague2005-02-04 17:45
Forum topic"Popular vs. Good" in Programming Languages Kevin Greer2005-01-30 01:03
Forum topicGlossary of abbreviations on LTU Scott Johnson2005-01-29 01:46
Forum topicAdvanced Topics in Types and Programming Languages Josef Svenningsson2005-01-25 02:44