type | title | author | last post  |
Story | 50 years of “Syntactic Structures†| Ehud Lamm | 2007-02-13 03:31 |
Story | Is "post OO" just over? | Kay Schluehr | 2007-02-07 21:08 |
Story | The Future of LtU | Ehud Lamm | 2006-12-26 02:37 |
Story | Google Code Search | Jacques Carette | 2006-10-07 13:56 |
Forum topic | ICFP proceedings / Scheme workshop | dbfaken | 2006-09-27 01:34 |
Forum topic | Closures for Java or money back | el-vadimo | 2006-09-23 19:16 |
Story | Topology in Programming Language Semantics | Jacques Carette | 2006-09-03 14:13 |
Story | TypeCase: A Design Pattern for Type-Indexed Functions | Ehud Lamm | 2006-07-25 15:23 |
Story | Zipper-based file server/OS | shapr | 2006-07-13 10:13 |
Story | MathLang | Jim Apple | 2006-05-14 11:00 |
Story | Native delimited continuations in (byte-code) OCaml | Ehud Lamm | 2006-04-12 22:38 |
Forum topic | McBride Derivative paper | keithb | 2006-02-28 23:33 |
Forum topic | Bruce Tate: Technologies that may challenge Java | shahbaz | 2006-01-12 06:01 |
Story | The undergraduate language course: what to do? | Chung-chieh Shan | 2005-12-27 15:53 |
Forum topic | The Type-System-Feature-Creep Death Spiral | jesuswaffle | 2005-11-02 17:15 |
Forum topic | new GUI paradigm | Jacques Carette | 2005-10-14 15:00 |
Story | Distributive laws for the Coinductive Solution of Recursive Equations | Ehud Lamm | 2005-09-14 02:56 |
Forum topic | Combining Theorem Proving and Programming | carter | 2005-09-09 22:32 |
Forum topic | Learning to Program with Alice (not Mozart/Oz ML) | Isaac Gouy | 2005-08-31 00:31 |
Forum topic | "dynamic" generative programming? | bdenckla | 2005-06-30 16:37 |
Forum topic | Basic(er) Simple(r) Type Theory(?) | jimdesu | 2005-06-18 20:25 |
Story | Differentiating Data Structures | Ehud Lamm | 2005-05-28 15:17 |
Forum topic | Context Free: Grammars as Graphics | MtnViewMark | 2005-05-27 01:09 |
Forum topic | Virtual Machine and Runtime Framework | Nicolas Cannasse | 2005-04-29 13:41 |
Forum topic | How widespread are inhouse DSLs? | Ehud Lamm | 2005-04-19 16:42 |
|
Recent comments
5 weeks 3 days ago
45 weeks 5 days ago
45 weeks 5 days ago
45 weeks 5 days ago
1 year 15 weeks ago
1 year 20 weeks ago
1 year 21 weeks ago
1 year 21 weeks ago
1 year 24 weeks ago
1 year 29 weeks ago