Lambda the Ultimate

type	title	author	last post
Forum topic	Do Logic Languages Need Negation? Just clearing up a few things by Kalani Are we just talking past each other? by Kalani Negation and constructivity are compatible by Kalani Could you explain how ~a -> by Kalani Negation missing in dependently-typed languages? by Kalani	Keean Schupke	2014-07-22 17:47
Forum topic	Brendan Eich, CEO of mozilla At some point, many of us by Kalani Poor Brendan? by Kalani	Sean McDirmid	2014-04-13 18:55
Forum topic	Toward a better programming A search for foundations by Kalani	ibdknox	2014-04-01 05:35
Story	Propositions as Types Example? by Kalani	Manuel J. Simoni	2014-03-19 07:14
Forum topic	Different approaches to letting a programmer define interface implementations. Shape constraints by Kalani	Kannan Goundan	2014-01-15 04:00
Forum topic	Alexander Bumstead learns the Lambda Calculus Neat by Kalani	tim finin	2013-11-05 07:12
Forum topic	An "adaptive" LALR(1) parser I've been toying with	Kalani	2013-10-09 19:35
Forum topic	questions re common lisp readtable hacks Not sure if this is helpful, but ... by Kalani	Thomas Lord	2013-09-12 15:59
Story	Mixed-Site Variance I don't know what you guys are talking about ... by Kalani	bashyal	2013-09-09 21:39
Forum topic	So You are Thinking of Doing a PhD... Seattle ... by Kalani	naasking	2013-07-03 13:51
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
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