Lambda the Ultimate

type	title	author	last post
Forum topic	SK Calculus not Consider SeKsy? Size explosion by Klaus Ostermann	cdiggins	2017-06-10 16:33
Forum topic	GADT vs. Type Classes Detailedness of the types by Klaus Ostermann	Greg Buchholz	2013-04-22 22:24
Forum topic	Solving the expression problem with type classes Maybe this is the paper you by Klaus Ostermann	naasking	2010-04-20 03:30
Forum topic	Total functional language self interpreter? See recursion theory by Klaus Ostermann	jason stumpf	2009-06-27 13:57
Forum topic	A new idea in OOP. Please comment. Some references by Klaus Ostermann	dakurai	2009-06-10 05:05
Forum topic	Why do OOPLs type objects as classes? You may be interested in this paper by Klaus Ostermann	robmeyers	2008-10-30 22:37
Story	Dependent Classes Example by Klaus Ostermann There are other more by Klaus Ostermann If we assume that we have a by Klaus Ostermann	Matt Hellige	2007-11-25 05:26
Story	OOP Is Much Better in Theory Than in Practice Not sure the author knows what he is talking about by Klaus Ostermann	Ehud Lamm	2007-06-18 22:39
Story	Java Generics and Collections Yes, it really is from Phil by Klaus Ostermann	Ehud Lamm	2007-04-17 16:32
Story	This Is the Title of This Story, Which Is Also Found Several Times in the Story Itself	Klaus Ostermann	2007-02-17 11:25
Story	Is "post OO" just over? But how do you know which by Klaus Ostermann An example by Klaus Ostermann Stratification is not always a good idea by Klaus Ostermann	Kay Schluehr	2007-02-07 21:08
Story	The Future of LtU I doubt ACM would be willing by Klaus Ostermann	Ehud Lamm	2006-12-26 02:37
Forum topic	Languages With Some Form of Implicit Subtyping You can do something with a by Klaus Ostermann	zrxer	2006-10-13 07:20
Forum topic	How are GADTs useful in practical programming?	Klaus Ostermann	2006-06-21 13:31
Forum topic	Relevance of Curry-Howard you can write simple by Klaus Ostermann	Klaus Ostermann	2006-06-12 13:36
Forum topic	A virtual class calculus Object-based inheritance and delegation layers by Klaus Ostermann	Niels Hoogeveen	2006-03-28 16:44
Story	OOPSLA 2005 Reports Software as cultural heritage by Klaus Ostermann	Ehud Lamm	2005-11-08 17:50
Forum topic	Finding Application Errors Using PQL: A Program Query Language Same session by Klaus Ostermann	Klaus Ostermann	2005-10-28 15:51
Story	Variables as Channels ...if you look at the paper a by Klaus Ostermann	Klaus Ostermann	2005-10-05 22:45
Story	Should Computer Science Get Rid of Protocols?	Klaus Ostermann	2005-08-25 10:11
Story	AOP blog and aosd discussion It is not about Java by Klaus Ostermann But a non-AO solution isn't any better... by Klaus Ostermann So, what's bad about AOP? by Klaus Ostermann	Ehud Lamm	2005-05-22 10:51
Forum topic	A question about COBOL! Cobol's not dead by Klaus Ostermann	yuhong	2005-05-15 03:16
Story	μABC: A Minimal Aspect Calculus I prefer ham by Klaus Ostermann Monads in Wand's paper by Klaus Ostermann Would not work in a component-based setting by Klaus Ostermann But... by Klaus Ostermann So you don't want to modularize? by Klaus Ostermann Monads by Klaus Ostermann No compelling case for AOP... by Klaus Ostermann There is more than pointcuts... by Klaus Ostermann AOP is not restricted MOP by Klaus Ostermann	Andris Birkmanis	2005-03-22 22:02
Forum topic	A question for the theory guys Ah... by Klaus Ostermann But what does a normal form mean? by Klaus Ostermann Semantics vs Syntax... by Klaus Ostermann Ok but... by Klaus Ostermann	Klaus Ostermann	2005-02-06 16:15
Forum topic	Some stupid questions on denotational semantics Thanks for all the answers by Klaus Ostermann	Klaus Ostermann	2004-06-24 20:35
next page last page

---

Logs: Hack The Planet ; JavaLobby ; Daily Python-URL ; Daily WTF ; PHP everywhere ; (more)
Wikis: WikiWiki ; Erlang ; Common Lisp ; Haskell ; Squeak ; Tcl ; Program Transformation