Klaus Ostermann

typetitleauthorlast post sort icon
Forum topicSK Calculus not Consider SeKsy? cdiggins2017-06-10 16:33
Forum topicGADT vs. Type Classes Greg Buchholz2013-04-22 22:24
Forum topicSolving the expression problem with type classes naasking2010-04-20 03:30
Forum topicTotal functional language self interpreter? jason stumpf2009-06-27 13:57
Forum topicA new idea in OOP. Please comment. dakurai2009-06-10 05:05
Forum topicWhy do OOPLs type objects as classes? robmeyers2008-10-30 22:37
StoryDependent Classes Matt Hellige2007-11-25 05:26
StoryOOP Is Much Better in Theory Than in Practice Ehud Lamm2007-06-18 22:39
StoryJava Generics and Collections Ehud Lamm2007-04-17 16:32
StoryThis Is the Title of This Story, Which Is Also Found Several Times in the Story Itself Klaus Ostermann2007-02-17 11:25
StoryIs "post OO" just over? Kay Schluehr2007-02-07 21:08
StoryThe Future of LtU Ehud Lamm2006-12-26 02:37
Forum topicLanguages With Some Form of Implicit Subtyping zrxer2006-10-13 07:20
Forum topicHow are GADTs useful in practical programming? Klaus Ostermann2006-06-21 13:31
Forum topicRelevance of Curry-Howard Klaus Ostermann2006-06-12 13:36
Forum topicA virtual class calculus Niels Hoogeveen2006-03-28 16:44
StoryOOPSLA 2005 Reports Ehud Lamm2005-11-08 17:50
Forum topicFinding Application Errors Using PQL: A Program Query Language Klaus Ostermann2005-10-28 15:51
StoryVariables as Channels Klaus Ostermann2005-10-05 22:45
StoryShould Computer Science Get Rid of Protocols? Klaus Ostermann2005-08-25 10:11
StoryAOP blog and aosd discussion Ehud Lamm2005-05-22 10:51
Forum topicA question about COBOL! yuhong2005-05-15 03:16
StoryμABC: A Minimal Aspect Calculus Andris Birkmanis2005-03-22 22:02
Forum topicA question for the theory guys Klaus Ostermann2005-02-06 16:15
Forum topicSome stupid questions on denotational semantics Klaus Ostermann2004-06-24 20:35