type | title | author | last post  |
Forum topic | New Dataflow Programming Language | ad1mt | 2010-11-30 01:24 |
Forum topic | Is mathematics invention or discovery? | Justin Johansson | 2010-07-20 08:14 |
Story | An intuitionistic logic that proves Markov's principle | neelk | 2010-07-07 08:23 |
Forum topic | SEC interested in formalising contracts ... in Python | Noel | 2010-05-06 12:56 |
Forum topic | large-scale programming systems inspired by ecological and market systems | Ray Dillinger | 2010-03-07 07:13 |
Story | Relations of Language and Thought: The View from Sign Language and Deaf Children | Chris Rathman | 2009-09-10 17:27 |
Forum topic | Explaining monads | Ehud Lamm | 2009-01-30 11:43 |
Forum topic | Visual Programming Language Syntax Formalisms | Jason Livesay | 2008-10-07 16:50 |
Story | Escape from Zurg: An Exercise in Logic Programming | Andris Birkmanis | 2008-08-27 02:45 |
Forum topic | Understanding category theory and its practical applications | Winheim Raulsh | 2008-05-26 05:25 |
Story | Ninety-nine Lisp Problems | Ehud Lamm | 2007-01-24 18:03 |
Forum topic | Are Frames and Slots anything more that OO with a different name? | JamesLitsios | 2007-01-10 03:59 |
|
Recent comments
2 weeks 4 days ago
42 weeks 5 days ago
42 weeks 5 days ago
42 weeks 5 days ago
1 year 12 weeks ago
1 year 17 weeks ago
1 year 18 weeks ago
1 year 18 weeks ago
1 year 21 weeks ago
1 year 26 weeks ago