Posts By: Ken Shan
Date | Post | Topic |
05/25/2004 | Re: AFP 2004 | AFP 2004 |
11/23/2003 | Re: Control handling primitives | Control handling primitives |
11/19/2003 | European Summer School on Logic, Language and Information | European Summer School on Logic, Language and Information |
11/15/2003 | Re: Introducing Continuations | Introducing Continuations |
10/14/2003 | Re: A Revolution in Logic? | A Revolution in Logic? |
07/03/2003 | CDuce: a programming language adapted to the manipulation of XML documents | CDuce: a programming language adapted to the manipulation of XML documents |
05/24/2003 | Re: Description Logics in Data Management | Description Logics in Data Management |
05/02/2003 | Re: A structural approach to reversible computation | A structural approach to reversible computation |
04/22/2003 | Re: Lojban | Lojban |
03/02/2003 | Call-by-name is dual to call-by-value | Call-by-name is dual to call-by-value |
03/01/2003 | Linguistic side effects | Linguistic side effects |
04/19/2003 | Re: Linguistic side effects | Linguistic side effects |
10/16/2002 | Deriving backtracking monad transformers | Deriving backtracking monad transformers |
10/08/2002 | Prolog and Natural-Language Analysis | Prolog and Natural-Language Analysis |
10/10/2002 | Re: Prolog and Natural-Language Analysis | Prolog and Natural-Language Analysis |
10/10/2002 | Re: Prolog and Natural-Language Analysis | Prolog and Natural-Language Analysis |
11/02/2002 | Re: Prolog and Natural-Language Analysis | Prolog and Natural-Language Analysis |
08/30/2002 | ICFP 2002 programming contest task posted | ICFP 2002 programming contest task posted |
08/20/2002 | Re: Informal Scheme Workshop in London | Informal Scheme Workshop in London |
08/21/2002 | Re: Informal Scheme Workshop in London | Informal Scheme Workshop in London |
06/29/2002 | 1st North American Summer School in Logic, Language and Info | 1st North American Summer School in Logic, Language and Info |
04/21/2002 | Factasia | Factasia |
10/30/2001 | Re: Dynamo- Dynamic Logic Programming | Dynamo- Dynamic Logic Programming |
10/30/2001 | Re: Dynamo- Dynamic Logic Programming | Dynamo- Dynamic Logic Programming |
10/31/2001 | Re: Dynamo- Dynamic Logic Programming | Dynamo- Dynamic Logic Programming |
11/02/2001 | Re: Dynamo- Dynamic Logic Programming | Dynamo- Dynamic Logic Programming |
10/11/2001 | Re: The Evolution of a Haskell Programmer | The Evolution of a Haskell Programmer |
07/25/2001 | Re: Next Generation Programming Language Research | Next Generation Programming Language Research |
06/05/2001 | Re: It all depends on what you mean by ($f) | It all depends on what you mean by ($f) |
LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |