Posts By: Klaus Ostermann
| Date | Post | Topic |
| 09/06/2009 | Maybe this is the paper you | Solving the expression problem with type classes |
| 06/09/2009 | Some references | A new idea in OOP. Please comment. |
| 11/04/2008 | See recursion theory | Total functional language self interpreter? |
| 10/27/2008 | You may be interested in this paper | Why do OOPLs type objects as classes? |
| 11/06/2007 | If we assume that we have a | Dependent Classes |
| 11/07/2007 | There are other more | Dependent Classes |
| 11/09/2007 | Example | Dependent Classes |
| 12/02/2006 | Size explosion | SK Calculus not Consider SeKsy? |
| 11/27/2006 | I doubt ACM would be willing | The Future of LtU |
| 11/26/2006 | Yes, it really is from Phil | Java Generics and Collections |
| 10/26/2006 | Detailedness of the types | GADT vs. Type Classes |
| 10/13/2006 | You can do something with a | Languages With Some Form of Implicit Subtyping |
| 09/27/2006 | Stratification is not always a good idea | Is "post OO" just over? |
| 09/29/2006 | An example | Is "post OO" just over? |
| 09/29/2006 | But how do you know which | Is "post OO" just over? |
| 06/01/2006 | Relevance of Curry-Howard | Relevance of Curry-Howard |
| 06/06/2006 | you can write simple | Relevance of Curry-Howard |
| 05/01/2006 | This Is the Title of This Story, Which Is Also Found Several Times in the Story Itself | This Is the Title of This Story, Which Is Also Found Several Times in the Story Itself |
| 03/28/2006 | Object-based inheritance and delegation layers | A virtual class calculus |
| 02/07/2006 | How are GADTs useful in practical programming? | How are GADTs useful in practical programming? |
| 10/28/2005 | Software as cultural heritage | OOPSLA 2005 Reports |
| 10/27/2005 | Finding Application Errors Using PQL: A Program Query Language | Finding Application Errors Using PQL: A Program Query Language |
| 10/28/2005 | Same session | Finding Application Errors Using PQL: A Program Query Language |
| 08/23/2005 | Should Computer Science Get Rid of Protocols? | Should Computer Science Get Rid of Protocols? |
| 06/02/2005 | Variables as Channels | Variables as Channels |
| 06/03/2005 | ...if you look at the paper a | Variables as Channels |
| 05/12/2005 | Cobol's not dead | A question about COBOL! |
| 05/01/2005 | So, what's bad about AOP? | AOP blog and aosd discussion |
| 05/02/2005 | But a non-AO solution isn't any better... | AOP blog and aosd discussion |
| 05/02/2005 | It is not about Java | AOP blog and aosd discussion |
| 03/08/2005 | AOP is not restricted MOP | μABC: A Minimal Aspect Calculus |
| 03/08/2005 | There is more than pointcuts... | μABC: A Minimal Aspect Calculus |
| 03/08/2005 | No compelling case for AOP... | μABC: A Minimal Aspect Calculus |
| 03/08/2005 | So you don't want to modularize? | μABC: A Minimal Aspect Calculus |
| 03/08/2005 | But... | μABC: A Minimal Aspect Calculus |
| 03/08/2005 | Would not work in a component-based setting | μABC: A Minimal Aspect Calculus |
| 03/08/2005 | I prefer ham | μABC: A Minimal Aspect Calculus |
| 03/08/2005 | Monads | μABC: A Minimal Aspect Calculus |
| 03/08/2005 | Monads in Wand's paper | μABC: A Minimal Aspect Calculus |
| 02/03/2005 | A question for the theory guys | A question for the theory guys |
| 02/03/2005 | Ok but... | A question for the theory guys |
| 02/03/2005 | Semantics vs Syntax... | A question for the theory guys |
| 02/04/2005 | But what does a normal form mean? | A question for the theory guys |
| 02/04/2005 | Ah... | A question for the theory guys |
| 01/20/2005 | Not sure the author knows what he is talking about | OOP Is Much Better in Theory Than in Practice |
| 06/23/2004 | Some stupid questions on denotational semantics | Some stupid questions on denotational semantics |
| 06/24/2004 | Thanks for all the answers | Some stupid questions on denotational semantics |
| 02/03/2004 | Re: Sina Language and Composition Filters | Sina Language and Composition Filters |
| 02/04/2004 | Re: Sina Language and Composition Filters | Sina Language and Composition Filters |
| 02/04/2004 | Re: Sina Language and Composition Filters | Sina Language and Composition Filters |
| 02/04/2004 | Re: Sina Language and Composition Filters | Sina Language and Composition Filters |
| LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |