type | title | author | last post  |
Forum topic | SK Calculus not Consider SeKsy? | cdiggins | 2017-06-10 16:33 |
Story | Decomposing lambda - the Kernel language | Anton van Straaten | 2012-04-30 15:31 |
Story | Tail call elimination decorator in Python | Kay Schluehr | 2011-03-28 01:40 |
Story | De-Scheming MIT? | Kay Schluehr | 2010-11-16 20:43 |
Forum topic | expressivity of "idiomatic C++" | el-vadimo | 2010-11-10 22:56 |
Forum topic | The Next Mainstream Programming Languages | Per Vognsen | 2010-01-24 13:32 |
Forum topic | Question: Graceful error recovery during parsing | Nathan Sobo | 2009-12-16 18:30 |
Forum topic | Programming (language) puzzles | Chung-chieh Shan | 2009-10-02 17:42 |
Forum topic | Best Introduction To Monads For Newbies (& Especially Imparative Minds) I'v Ever Read!!! | kaveh.shahbazian | 2009-09-25 08:54 |
Story | Natural Deduction Reading for Beginners | cdiggins | 2009-07-22 15:29 |
Forum topic | The Church-Turing Thesis: Breaking the Myth | naasking | 2009-07-18 00:45 |
Story | Code Reading | Ehud Lamm | 2009-06-04 14:52 |
Forum topic | the Chinese natual language | Zhu Chongkai | 2009-06-01 13:06 |
Forum topic | What do you believe about Programming Languages (that you can't prove (yet))? | John Carter | 2009-05-23 23:23 |
Forum topic | Object Oriented Programming + Referential Transparency | mjstahl | 2008-10-30 17:40 |
Story | Worlds: Controlling the Scope of Side Effects | Luke Gorrie | 2008-10-09 23:54 |
Story | The MetaC Language | Ehud Lamm | 2008-09-02 17:22 |
Story | newLisp: A better Lisp/Scheme Fusion... | Brent Fulgham | 2008-05-06 16:24 |
Forum topic | Lisp Lovers, how would you fix Lisp or bring it up to date? | Ben Atkin | 2008-04-29 03:20 |
Forum topic | Folding neither Left nor Right (or how to avoid overspecifying the solution to a problem) | cdiggins | 2008-04-22 17:11 |
Forum topic | Formal methods for O/R mapping | Andris Birkmanis | 2007-08-19 00:29 |
Forum topic | Partial evaluation applied to high speed lighting preview | sigfpe | 2007-07-30 22:25 |
Story | An Intensional Type Theory: Motivation and Cut-Elimination | neelk | 2007-03-19 11:13 |
Forum topic | What Makes Erlang Processes Tick? | mjstahl | 2007-01-29 19:09 |
Forum topic | Transparent Persistence | playergiro | 2006-12-20 17:31 |
|
Recent comments
1 week 3 days ago
41 weeks 5 days ago
41 weeks 5 days ago
41 weeks 5 days ago
1 year 11 weeks ago
1 year 16 weeks ago
1 year 17 weeks ago
1 year 17 weeks ago
1 year 20 weeks ago
1 year 25 weeks ago