Last Updated 07/17/2012

Posts By: Countably Infinite

Date | Post | Topic |

06/03/2012 | Same Doubt | Interactive Tutorial of the Sequent Calculus |

03/27/2012 | Widespread Text Book Error | Parsing: The Solved Problem That Isn't |

03/27/2012 | Chart Parser != Recursive Decent with Memoization | Parsing: The Solved Problem That Isn't |

03/27/2012 | Bottom Up is not automatically Fallout of Recursive Formulation | Parsing: The Solved Problem That Isn't |

03/27/2012 | Not Isomorphic: Chart Parsers vs. Recursive Decend | Parsing: The Solved Problem That Isn't |

03/27/2012 | Maybe a Mix | Parsing: The Solved Problem That Isn't |

03/27/2012 | DCG is recursive decend | Parsing: The Solved Problem That Isn't |

03/27/2012 | Chart Parsers use Memoization for A --> B Productions | Parsing: The Solved Problem That Isn't |

03/27/2012 | Not Scribbling, Some Practical Testing | Parsing: The Solved Problem That Isn't |

03/27/2012 | My Fault / Doubt | Parsing: The Solved Problem That Isn't |

03/27/2012 | Data-Driven vs Function-Driven | Parsing: The Solved Problem That Isn't |

03/27/2012 | Not Language Elements, Parsing Algorithms | Parsing: The Solved Problem That Isn't |

03/28/2012 | Magic Set vs Earley | Parsing: The Solved Problem That Isn't |

03/28/2012 | +1 | Parsing: The Solved Problem That Isn't |

04/04/2012 | Belief Contraction | Parsing: The Solved Problem That Isn't |

04/04/2012 | Coming home with full hands | Parsing: The Solved Problem That Isn't |

03/05/2012 | Similar Doubt | What does focusing tell us about language design? |

03/07/2012 | Origins of Focusing? | What does focusing tell us about language design? |

03/07/2012 | What is /\ | What does focusing tell us about language design? |

02/25/2012 | No GNU, since it is too risky? | When Formal Systems Kill: Computer Ethics and Formal Methods |

02/19/2012 | Java Grande on Lisp | Julia, a language for technical computing |

12/22/2011 | What is elimJ? | Dependently Typed Programming based on Automated Theorem Proving |

12/05/2011 | Language Binders | General purpose as a special case? |

10/30/2011 | Some doubt | The Experimental Effectiveness of Mathematical Proof |

10/25/2011 | Pioneer and Visionary of AI | John McCarthy has passed |

10/18/2011 | Synchronized vs Unsynchronized Objects | "Crutches in language design", accidental complexity and feature overlap |

10/19/2011 | VM design / Debugging Tools | "Crutches in language design", accidental complexity and feature overlap |

10/10/2011 | Can I express variable occurence ranges in logic? | Can I express variable occurence ranges in logic? |

10/11/2011 | The idea is not to compute the ranges | Can I express variable occurence ranges in logic? |

10/10/2011 | Hi,Thank you very much for | Can I express variable occurence ranges in logic? |

10/11/2011 | The problem with scope | Can I express variable occurence ranges in logic? |

10/11/2011 | Thank you very much. This | Can I express variable occurence ranges in logic? |

10/19/2011 | Could be related to consume/preduce as well | Can I express variable occurence ranges in logic? |

10/11/2011 | @Denis: Looks more like equational | Can I express variable occurence ranges in logic? |

10/12/2011 | X and Y are overlapping in | Can I express variable occurence ranges in logic? |

10/07/2011 | Doing it Without Church Rosser | Call-by-Name, Call-by Value and the Lambda Calculus |

10/07/2011 | Not clear why Church Rosser | Call-by-Name, Call-by Value and the Lambda Calculus |

10/08/2011 | Non-Congruence vs CR-ness | Call-by-Name, Call-by Value and the Lambda Calculus |

01/09/2012 | Prolog in Scala | Embedding Prolog in Haskell |

01/23/2012 | Prolog in Scheme | Embedding Prolog in Haskell |

02/02/2012 | One more Prolog in Scala: Styla | Embedding Prolog in Haskell |

01/17/2012 | Multi-threading | Embedding Prolog in Haskell |

01/17/2012 | Multi-threading <> Namespaces | Embedding Prolog in Haskell |

01/17/2012 | Since you are talking of a library/module | Embedding Prolog in Haskell |

01/18/2012 | Terminology | Embedding Prolog in Haskell |

01/24/2012 | Foreign Function Interface (FFI) | Embedding Prolog in Haskell |

01/25/2012 | Type checking of L and K is still done in a FFI | Embedding Prolog in Haskell |

01/25/2012 | Term Centric Protocoll | Embedding Prolog in Haskell |

01/26/2012 | SOCI looks to me like mixing | Embedding Prolog in Haskell |

01/23/2012 | CWA not only supported by cut | Embedding Prolog in Haskell |

01/24/2012 | Equational Logic vs Logic with Equality | Embedding Prolog in Haskell |

01/25/2012 | A real basher | Embedding Prolog in Haskell |

01/25/2012 | Collapsible | Embedding Prolog in Haskell |

02/08/2012 | Academic Freedom, response to Charles Stewart | Embedding Prolog in Haskell |

02/09/2012 | Just a Carricature | Embedding Prolog in Haskell |

01/24/2012 | Still there is implication and equations | Embedding Prolog in Haskell |

01/26/2012 | Not specific to relation languages resp. Prolog | Embedding Prolog in Haskell |

01/27/2012 | Nothing specific to Jekejeke Prolog | Embedding Prolog in Haskell |

02/12/2012 | Leave Behind Classical Logic | Embedding Prolog in Haskell |

02/13/2012 | Same Skeptical Reasoning | Embedding Prolog in Haskell |

LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |