Posts By: Olivier Lefevre
| Date | Post | Topic |
| 04/24/2010 | Purpose of the reg. | SEC interested in formalising contracts ... in Python |
| 04/25/2010 | Purpose of the reg. (cont.) | SEC interested in formalising contracts ... in Python |
| 04/25/2010 | Domain of the courts | SEC interested in formalising contracts ... in Python |
| 11/18/2007 | Still do | Examples of large-scale functional language projects |
| 11/18/2007 | Let us cool off | Examples of large-scale functional language projects |
| 08/11/2007 | Language angle? | Garbage Collection Without Paging |
| 07/18/2006 | Different meanings... | Predicting programming course success from a single entrance exam |
| 05/10/2006 | Tools, not types | Computer Science Looks for a Remake |
| 02/23/2006 | Homework | Norman Ramsey: CS257 - Programming with Concurrency |
| 02/19/2006 | The Acute link is to a New | Gilad Is Right |
| 01/24/2006 | A Formal Language for Analyzing Contracts | A Formal Language for Analyzing Contracts |
| 10/23/2005 | Then maybe the headline shoul | What do you mean by studying "programming languages"? |
| 08/28/2004 | Re: More | Multidimensional arrays |
| 08/20/2004 | At least one person using Haskell for biology | New Paul Graham thing... |
| 08/22/2004 | Re: Unwanted laziness | New Paul Graham thing... |
| 07/31/2004 | More | History: Array languages |
| 08/20/2004 | 10 vendors | History: Array languages |
| 04/24/2004 | Re: Poplog | Poplog |
| 04/25/2004 | Re: Impedance mismatch: RDBMS and PLs | Impedance mismatch: RDBMS and PLs |
| 03/30/2004 | Re: Implementing Distributed Systems Using Linear Naming | Implementing Distributed Systems Using Linear Naming |
| 02/21/2004 | Re: Finalization (CLR) | Finalization (CLR) |
| 02/06/2004 | Re: Darcs | Darcs |
| 01/27/2004 | Re: Squeak: a Language for Communicating with Mice | Squeak: a Language for Communicating with Mice |
| 01/23/2004 | Re: Why Events Are a Bad Idea | Why Events Are a Bad Idea |
| 01/24/2004 | Re: Why Events Are a Bad Idea | Why Events Are a Bad Idea |
| 01/18/2004 | Re: DSL for financial contracts | DSL for financial contracts |
| 01/16/2004 | DSL for financial contracts | DSL for financial contracts |
| 01/16/2004 | Re: Eric Gunnerson on language design at Microsoft (well, sort of) | Eric Gunnerson on language design at Microsoft (well, sort of) |
| 12/24/2003 | Re: Research Publication Modes Need to be Reengineered | Research Publication Modes Need to be Reengineered |
| 11/27/2003 | Re: Thielecke: Contrasting exceptions and continuations | Thielecke: Contrasting exceptions and continuations |
| 11/06/2003 | Re: Shape Theory | Shape Theory |
| LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |