Posts By: Gavin Mendel-Gleason
| Date | Post | Topic |
| 02/05/2011 | Logic Programming | Invertible Syntax Descriptions: Unifying Parsing and Pretty Printing |
| 01/03/2011 | Pager | Azul's Pauseless Garbage Collector |
| 11/09/2009 | Types | John Hughes on Erlang and Haskell |
| 11/12/2009 | Type Theory can be a sort of DMP | John Hughes on Erlang and Haskell |
| 11/16/2009 | Rich Type Systems | John Hughes on Erlang and Haskell |
| 11/16/2009 | Rich Type Systems Mark II | John Hughes on Erlang and Haskell |
| 11/17/2009 | Because Types are Logic | John Hughes on Erlang and Haskell |
| 05/14/2009 | Fabulous | LNGen |
| 04/03/2008 | Proof | Rewriting rules for deducing properties of functions |
| 03/31/2008 | Trees | future history of logic programming |
| 03/27/2008 | including | Ongoing work on Supercompilation of Java code (or supercompilation in general)? |
| 03/24/2008 | Coq gets typeclasses | Dependent Types, Generic Programming and Overloading. |
| 03/25/2008 | Or not use files at all | Relational rather than hierarchical OO packaging? |
| 03/20/2008 | Co-inductive types | Role of Types in Evaluation Strategy |
| 03/21/2008 | Sorry for the Jargon | Role of Types in Evaluation Strategy |
| 03/21/2008 | Co-contamination | Role of Types in Evaluation Strategy |
| 03/13/2008 | Sun's latest entry | Languages best suited for scientific computing? |
| 03/11/2008 | Proof Assistant | New to FP |
| 03/10/2008 | Reader Macros | Applied Metamodelling: A Foundation for Language Driven Development |
| 03/11/2008 | Just a neat trick | Applied Metamodelling: A Foundation for Language Driven Development |
| 03/12/2008 | I'm pretty sure you could | Applied Metamodelling: A Foundation for Language Driven Development |
| 03/04/2008 | Curious about uniqueness and monads | Uniqueness Typing Simplified |
| 03/17/2008 | Struggling with multiple levels of detail | Confused Deputies in Programming Languages |
| 03/17/2008 | Strong Specification | Confused Deputies in Programming Languages |
| 02/28/2008 | Coming from CL | Is null needed? |
| 02/28/2008 | An Onerous Total Language | exceptions again |
| 02/08/2008 | Quick example in Coq | Lanugages with built-in rules/tests? |
| 02/10/2008 | Interesting! | Lanugages with built-in rules/tests? |
| 02/06/2008 | Data Level Parallelism | Does anyone know of work done on co-data-types? |
| 02/08/2008 | Hagino's thesis | Does anyone know of work done on co-data-types? |
| 01/28/2008 | Cyclic Proofs for First-Order Logic with Inductive Definitions | Cyclic Proofs for First-Order Logic with Inductive Definitions |
| 01/24/2008 | Excellent, A double wammy! | Type-safe printf using delimited continuations, in Coq |
| 01/18/2008 | Pure Functional and Eager | Prediction for 2008 |
| 10/25/2007 | Co-Logic Programming | Co-Logic Programming |
| 10/27/2007 | Why not now? | Co-Logic Programming |
| 07/20/2009 | Implementations | Decidability of Higher Order Matching |
| 03/31/2007 | Putting functional database theory into practice: NixOS | Putting functional database theory into practice: NixOS |
| 03/22/2007 | Rundown | The New Twelf Wiki |
| 02/19/2007 | Lack of Physicality | Automata-Based Programming |
| 02/27/2007 | Nothing's wrong with Coq (excepting for its popularity...) | Total Functional Programming |
| 12/15/2006 | Propagation of information and Theorem Proving | path-sensitive dataflow analysis. How? |
| 11/29/2006 | Formalisation | Mechanized Metatheory Model-Checking |
| 11/29/2006 | Soundness | Mechanized Metatheory Model-Checking |
| 11/24/2006 | Wonderful subject material | Peyton-Jones and Harris discuss STM (1h video) |
| 11/23/2006 | Not sure, but I suspect that isn't strictly true | Type inference and union types |
| 10/21/2006 | Prolog for parsing | Ralph Griswold died |
| 10/10/2006 | Quantifiers and Dependent Types | A Very Modal Model of a Modern, Major, General Type System |
| 04/27/2006 | Data structure compilation | The fundamental difference between Sets and Lists? |
| 04/05/2006 | Relational Programming | The Reasoned Schemer with Oz |
| 04/06/2006 | That was the point I was trying to make | The Reasoned Schemer with Oz |
| 03/31/2006 | Not much interest | Uniform Proofs as a Foundation for Logic Programming |
| 04/03/2006 | Use cases | Uniform Proofs as a Foundation for Logic Programming |
| 03/09/2006 | Higher Order (in the functional programming sense) | Towards Applicative Relational Programming |
| 02/13/2006 | Definitely worthy | Interval Computations |
| 01/12/2006 | Constraint Programming and Relations | Constraint Programming |
| 08/08/2005 | What about lisp? | Have scripting languages peaked? |
| 08/02/2005 | Guarded clauses. commit and soft cut | Programming Paradigms of the Andorra Kernel Language |
| 08/02/2005 | equality | An interview with Chris Date |
| 08/02/2005 | The relational algebra is more baroque than logic programming | An interview with Chris Date |
| 08/18/2005 | Logic with types | Static Typing Where Possible, Dynamic Typing When Needed |
| 06/08/2005 | Dataflow variables and monads. | Bidirectional fold and scan |
| 06/08/2005 | fast and loose | Bidirectional fold and scan |
| 06/09/2005 | Still not what I meant. | Bidirectional fold and scan |
| LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |