Lambda the Ultimate

type	title	author	last post
Forum topic	A Proposal for Simplified, Modern Definitions of "Object" and "Object Oriented" Getting to my point by Kalani The necessity of existentials by Kalani Much Ado by Kalani	w7cook	2013-01-08 20:02
Forum topic	Libraries suck Fair enough by Kalani You may have put your finger on it by Kalani You said it by Kalani	Kartik Agaram	2012-11-26 22:16
Forum topic	Testing in the absence of side effects Self-evident by Kalani	giuseppemag	2012-11-14 17:49
Forum topic	Why languages and not systems? Not to mention the sub-Turing by Kalani	giuseppemag	2012-07-13 11:39
Forum topic	Proofs as programs Going to war with General Recursion by Kalani Recursive types by Kalani	hbrandl	2012-05-29 09:43
Forum topic	Syntax Desugaring Algorithm Question FWIW by Kalani	bryanedds	2012-02-23 23:46
Story	The Algebra of Data, and the Calculus of Mutation Thanks for the plug by Kalani	Manuel J. Simoni	2012-02-15 00:19
Forum topic	"We Really Don't Know How to Compute!" by Gerald Sussman A minor point by Kalani Overloaded selectors = structural subtyping? by Kalani I don't have a good answer by Kalani	puredanger	2011-11-19 23:37
Forum topic	The Last Language? I'm not so sure about that. by Kalani Partial Evaluation by Kalani	Dominic Fox	2011-07-20 14:51
Story	Kona Yikes by Kalani	Ehud Lamm	2011-04-14 23:30
Forum topic	Monads vs. Actors Monads matter by Kalani	Sean McDirmid	2011-03-02 21:15
Forum topic	The barrier to take-up of language innovation Converging on a definition of "best for people" by Kalani Evidence? by Kalani OK Mr. Smartypants by Kalani A little self-serving by Kalani	ad1mt	2010-11-06 03:26
Story	What Sequential Games, the Tychonoff Theorem and the Double-Negation Shift have in Common Very minor problem by Kalani	neelk	2010-09-09 13:41
Story	Type Classes as Objects and Implicits Taking care of bindings with domain-dependent sum by Kalani	Paul Snively	2010-08-26 06:09
Story	The Future of C# When will F# get type classes? by Kalani	Manuel J. Simoni	2010-07-29 21:28
Story	Functional Pearl: Species and Functors and Types, Oh My! deriving Functor? by Kalani	Matt Hellige	2010-07-05 09:38
Forum topic	SEC interested in formalising contracts ... in Python Are you serious? by Kalani	Noel	2010-05-06 12:56
Forum topic	Information regarding financial crisis Well said by Kalani Yes by Kalani No direct involvement by Kalani	Ehud Lamm	2010-02-12 16:39
Story	Parsing Expression Grammars Complex grammar transformations by Kalani	Luke Gorrie	2009-04-30 09:35
Forum topic	Using coalgebraic structures for traversing ADTs lazily What sort of comparison? by Kalani	marco	2009-03-10 01:49
Forum topic	Looking for papers describing advanced language topics in terms of C programming Not quite what you're looking for, but ... by Kalani	derekp	2009-02-12 06:39
Forum topic	output language for new statically typed language? The Tiger Book by Kalani	AtariFan	2008-08-29 17:20
Forum topic	Can local variables assignments be considered pure functional without monads? What I said was ... by Kalani I think you misread my comment by Kalani Still need monads to analyze by Kalani It's old news by Kalani	cdiggins	2008-04-14 12:55
Forum topic	On the Importance of Purity ? by Kalani	naasking	2007-12-02 14:53
Forum topic	Extending HM type inference -- would this be possible? Or even desirable? You could be writing ... by Kalani	Ingo Wechsung	2007-09-16 13:28
first page previous page 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