Benevenuto Giorno

typetitleauthorlast post sort icon
Forum topicNew Dataflow Programming Language ad1mt2010-11-30 01:24
Forum topicIs mathematics invention or discovery? Justin Johansson2010-07-20 08:14
StoryAn intuitionistic logic that proves Markov's principle neelk2010-07-07 08:23
Forum topicSEC interested in formalising contracts ... in Python Noel2010-05-06 12:56
Forum topiclarge-scale programming systems inspired by ecological and market systems Ray Dillinger2010-03-07 07:13
StoryRelations of Language and Thought: The View from Sign Language and Deaf Children Chris Rathman2009-09-10 17:27
Forum topicExplaining monads Ehud Lamm2009-01-30 11:43
Forum topicVisual Programming Language Syntax Formalisms Jason Livesay2008-10-07 16:50
StoryEscape from Zurg: An Exercise in Logic Programming Andris Birkmanis2008-08-27 02:45
Forum topicUnderstanding category theory and its practical applications Winheim Raulsh2008-05-26 05:25
StoryNinety-nine Lisp Problems Ehud Lamm2007-01-24 18:03
Forum topicAre Frames and Slots anything more that OO with a different name? JamesLitsios2007-01-10 03:59