type | title | author | last post  |
Forum topic | Chez Scheme now open-source | Bryan Turner | 2016-04-27 20:45 |
Forum topic | Nanopass Compiler Framework | Bryan Turner | 2015-05-13 22:28 |
Story | Scala Lift Off 2009 | James Iry | 2009-05-29 18:32 |
Forum topic | Algebra Of Programming (Bird, De Moor) | shahbaz | 2009-04-27 20:22 |
Forum topic | Typing a function which includes its axioms? | Bryan Turner | 2008-09-17 22:35 |
Forum topic | Ongoing work on Supercompilation of Java code (or supercompilation in general)? | sanity | 2008-08-20 12:02 |
Forum topic | Two Computers & An Ethernet Cable -- Also A Computer? | Jason Dusek | 2008-08-06 21:31 |
Forum topic | Rewriting rules for deducing properties of functions | cdiggins | 2008-04-07 13:25 |
Forum topic | The dream of Church and Curry realized? | sidhu | 2007-06-29 22:45 |
Story | Lisp is sin | Ehud Lamm | 2007-05-19 19:51 |
Forum topic | Why Johnny can't code | Matthew Willson | 2007-01-04 22:54 |
Forum topic | 2006 ICFP Programming Contest registration opens | Tom7 | 2006-07-26 02:04 |
Forum topic | What are the real benefits of FP? | dataangel | 2006-07-09 20:03 |
Forum topic | Church-Turning is False? | Bryan Turner | 2006-06-28 09:36 |
Forum topic | LiteratePrograms wiki | Allan McInnes | 2006-03-26 19:37 |
Story | Felleisen: How to Design Class Hierarchies | Ehud Lamm | 2006-02-21 15:44 |
Forum topic | Haskell video lectures online | SamK | 2006-02-16 15:06 |
Forum topic | Countering Trusting Trust through Diverse Double-Compiling | Curt Sampson | 2005-12-28 22:50 |
Forum topic | Twenty-First Century Compilers | Scott Johnson | 2005-12-06 00:38 |
Story | What good is Strong Normalization in Programming Languages? | shapr | 2005-11-18 18:06 |
Story | LtU: Style and Focus | Ehud Lamm | 2005-09-29 22:03 |
|
Recent comments
1 week 3 days ago
41 weeks 4 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 24 weeks ago