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 |