Home » user account

Anton van Straaten

typetitleauthorlast post sort icon
Storyprogram verification: the very idea el-vadimo2008-05-08 06:49
Forum topicprogramming languages and facial hair J Storrs Hall2008-05-07 17:50
StorynewLisp: A better Lisp/Scheme Fusion... Brent Fulgham2008-05-06 16:24
Forum topicStatic Analysis for Duck Typing grom3582008-05-03 22:13
Forum topicLisp Lovers, how would you fix Lisp or bring it up to date? Ben Atkin2008-04-29 03:20
StorySocial Processes and Proofs of Theorems and Programs Luke Gorrie2008-04-28 13:57
Forum topicis there anybody knows about the origin "Dope Vector"? minhyuk2008-04-27 19:41
Forum topic2nd Revision of "Thoughts about the Best Introductory Language" shlomif2008-04-27 01:41
Forum topicOn Presenting Operational Semantics cdiggins2008-04-25 21:57
StoryComputer Science Education: Where Are the Software Engineers of Tomorrow? Ehud Lamm2008-04-21 22:03
Forum topicFinding Landin's "The Mechanical Evaluation of Expressions" A B Carter2008-04-21 10:25
PageNode Index Anton van Straaten2008-04-21 07:42
Forum topicProving compositions Hank Thediek2008-04-20 14:05
Forum topicanother issue/question/hope re: layout raould2008-04-17 17:11
StoryPython 3000 Status Update Mark Evans2008-04-17 03:37
StoryGetting Started Ehud Lamm2008-04-16 23:33
Forum topicCan local variables assignments be considered pure functional without monads? cdiggins2008-04-14 12:55
Forum topicApplications of formal semantics roberto2008-04-14 02:59
StoryApril 1st special: The War of the Worlds Ehud Lamm2008-04-06 15:50
StoryErasmus: A Modular Language for Concurrent Programming cdiggins2008-04-04 18:23
Forum topictrying to see forum+frontpage posts in order raould2008-04-03 23:15
Forum topicRole of Types in Evaluation Strategy cdiggins2008-03-22 12:39
StoryArc is released Ehud Lamm2008-03-21 12:07
Forum topicThe Monad.Reader Wouter Swierstra2008-03-20 01:02
Forum topicConfused Deputies in Programming Languages naasking2008-03-18 02:47