| Posts(1) | January 31, 2007, 10:05 pm | need help understanding Tarski approximation method of finding a |
| Posts(13) | January 31, 2007, 10:05 pm | Which language is closest to lambda calculus? |
| Posts(15) | January 31, 2007, 10:05 pm | Basic functional language question |
| Posts(2) | January 31, 2007, 10:52 am | *** BCS-FACS Seminar by Prof. Michael Jackson, 7 February 2007, 5.45pm, London |
| Posts(1) | January 30, 2007, 7:06 pm | OCaml Summer Project |
| Posts(2) | January 29, 2007, 8:16 pm | Re: Cat Programming Language version 0.9.9 |
| Posts(1) | January 29, 2007, 4:07 am | CS conference ranking reference at www.conference-ranking.net |
| Posts(2) | January 28, 2007, 10:06 pm | [ANN] Cat Programming Language version 0.9.9 |
| Posts(2) | January 25, 2007, 12:00 pm | [Ann] Next meeting of the MSLUG |
| Posts(2) | January 24, 2007, 7:06 pm | CPS nomenclature |
| Posts(1) | January 23, 2007, 4:10 am | Call for Papers: World Congress on Engineering WCE 2007 |
| Posts(1) | January 23, 2007, 4:10 am | Re: Announce: Qi 7.2 available for CLisp (Linux & Windows) and CMU |
| Posts(8) | January 23, 2007, 4:10 am | Announce: Qi 7.2 available for CLisp (Linux & Windows) and CMU Lisp |
| Posts(1) | January 22, 2007, 8:12 am | Call for Papers: The2007 International Conference of Parallel and Distributed Computi |
| Posts(14) | January 22, 2007, 8:12 am | Xah's Edu Corner: Introduction to 3D Graphics Programing |
| Posts(2) | January 20, 2007, 7:04 pm | reference to external mutable data outside Ocaml heap? |
| Posts(1) | January 20, 2007, 4:09 am | Call for Papers: The2007 International Conference of Information Security and Interne |
| Posts(1) | January 19, 2007, 10:03 pm | Final call for papers: Multi-conference |
| Posts(14) | January 19, 2007, 7:04 pm | Closures vs. Currying |
| Posts(24) | January 19, 2007, 7:04 pm | Expressiveness of dynamic logic in a functional logic language |
| Posts(1) | January 19, 2007, 4:08 am | Call For Papers: WORLDCOMP'07: conferences in computer science & computer engin |
| Posts(1) | January 17, 2007, 7:03 pm | ICFP07 Call for Papers |
| Posts(3) | January 16, 2007, 4:10 am | intransigent objects of a certain recursive type |
| Posts(2) | January 15, 2007, 7:05 pm | Scheme 48 1.5 available |
| Posts(1) | January 15, 2007, 7:05 pm | Type-Oriented Programming (was: Re: [Haskell] How to use monads?) |
| Posts(1) | January 15, 2007, 7:05 pm | Seminar on program verification by Prof Michael Jackson, 7 February 2007, 5.45pm, Lon |
| Posts(2) | January 15, 2007, 7:05 pm | Poly/ML version 5 |
| Posts(1) | January 15, 2007, 4:06 am | Call for Papers: The2007 International Conference of Information Engineering (ICIE 20 |
| Posts(1) | January 15, 2007, 4:06 am | Re: Call for Papers: The2007 International Conference of Information Engineering (ICI |
| Posts(4) | January 14, 2007, 7:04 pm | [Haskell] How to use monads? |
| Posts(1) | January 14, 2007, 4:15 am | Call for Papers: The2007 International Conference of Data Mining and Knowledge Engine |
| Posts(1) | January 14, 2007, 4:15 am | Call for Papers: The2007 International Conference of Computer Science and Engineering |
| Posts(11) | January 13, 2007, 7:05 pm | Re: ACM copyright |
| Posts(6) | January 13, 2007, 8:04 am | Doubling up cons cells |
| Posts(2) | January 12, 2007, 4:11 am | ACM copyright (was: Re: Doubling up cons cells) |
| Posts(1) | January 12, 2007, 4:11 am | Re: ACM copyright |
| Posts(5) | January 11, 2007, 7:07 pm | Re: Announce: Qi 7.2 available for CLisp (Linux & Windows) and CMU |
| Posts(1) | January 11, 2007, 4:11 am | visiting position/collaboration sought |
| Posts(1) | January 9, 2007, 8:07 am | Re: Conference ranking reference at www.SPAMMER.net |
| Posts(1) | January 9, 2007, 4:13 am | Conference ranking reference at www.conference-ranking.net |
| Posts(1) | January 8, 2007, 8:07 am | MI5 Persecution: Dirk Gently on the Toronto Case |
| Posts(1) | January 8, 2007, 8:07 am | MI5 Persecution: Security Service Tribunal Denies |
| Posts(1) | January 7, 2007, 8:02 am | Call for Papers: Workshop on Modeling in Software Engineering @ ICSE 2007 (MISE 2007, |
| Posts(9) | January 6, 2007, 7:20 pm | looking for a compiler |
| Posts(1) | January 6, 2007, 7:20 pm | MI5 Persecution: Counter-surveillance sweep by Nationwide Investigations Group |
| Posts(1) | January 6, 2007, 7:20 pm | MI5 Persecution: Communications with Security Service Tribunal in 1999 |
| Posts(1) | January 6, 2007, 7:20 pm | MI5 Persecution: Eye Say, and Lord Gnome Answers |
| Posts(1) | January 6, 2007, 7:20 pm | MI5 Persecution: Observer article |
| Posts(1) | January 6, 2007, 7:20 pm | MI5 Persecution: .net magazine article |
| Posts(49) | January 6, 2007, 7:20 pm | Languages similar to Mathematica? |