Lambda the Ultimate

type	title	author	last post
Forum topic	Seeking thoughtful criticisms of functional programming and languages That's a really good by S. Clover	scottmcl	2013-03-31 00:40
Forum topic	Language Implementation 101 That's a strong claim, which by S. Clover	qznc	2012-08-09 07:37
Forum topic	Bob Harper of CMU is blogging about programming languages and introductory CS education There's a difference of philosophy here by S. Clover A small example by S. Clover	vrijz	2012-06-30 00:11
Forum topic	What work in FRP models programs which can change the type of output and input they have? Session Types by S. Clover	Steven StewartGallus	2012-03-12 15:14
Story	Kleisli Arrows of Outrageous Fortune Conor McBride is known for by S. Clover	Paul Snively	2011-05-19 09:24
Forum topic	Generative Grammar-based Computation I think I may have promised by S. Clover I simply meant to say that I by S. Clover It seems to me that a good by S. Clover	dmbarbour	2011-05-08 06:50
Forum topic	Reference request: running out of countably many variable names Expressions vs. Terms by S. Clover Vicious Circles by S. Clover	Neil Toronto	2011-03-22 10:17
Forum topic	What is computation? Concurrency versus Turing's Model For some values of always by S. Clover	Hewitt	2011-02-22 13:52
Story	The Habit Programming Language: The Revised Preliminary Report There's a history of work on by S. Clover	James Iry	2011-02-21 01:11
Forum topic	The AST Typing Problem I'm confused by problem 1. by S. Clover	shap	2011-01-19 03:15
Story	A Preliminary Survey on Functional Programming FP with moderate use of more by S. Clover	Ehud Lamm	2010-12-14 05:28
Forum topic	Lambda the Ultimate seems an Overstatement (not) One way I was thinking about by S. Clover Another way by S. Clover Ok. I'm through. by S. Clover Software Transactional by S. Clover That's only true if you use by S. Clover	Ed Earl Ross	2010-12-13 19:44
Story	Tropical Semirings New paper on Programming by S. Clover	neelk	2010-12-10 15:56
Forum topic	Recursion over the structure of a type A Rosetta stone by S. Clover This seems like the wrong by S. Clover	giuseppemag	2010-12-01 02:50
Story	Conservative Logic Along those lines, Mike Stay by S. Clover	James Iry	2010-11-16 01:17
Story	Using Hackage to Inform Language Design The point wasn't to decide by S. Clover	bashyal	2010-10-26 15:40
Forum topic	Compiler Design Q&A Site One element that probably by S. Clover	gorauskas	2010-10-21 11:10
Forum topic	Mildly Extended MixFix Thanks for the link to that by S. Clover	shap	2010-09-23 02:15
Forum topic	J's concepts rank, composition, and GC Map can only be written in by S. Clover	Thomas Lord	2010-09-18 03:47
Story	Is Transactional Programming Actually Easier? The garbage collection by S. Clover It depends on what we mean by S. Clover Easily implemented... by S. Clover	Z-Bo	2010-09-10 18:31
Story	What Sequential Games, the Tychonoff Theorem and the Double-Negation Shift have in Common A gentler start might be by S. Clover	neelk	2010-09-09 13:41
Forum topic	Theoretical Computer Science StackExchange Beta now open See the meta discussion on by S. Clover	S. Clover	2010-08-30 20:58
Forum topic	"Critical code studies" Rhetoric, representation, and speech acts. by S. Clover	Travis Brown	2010-05-19 18:29
Forum topic	more power and less verbiage Interesting work by S. Clover	el-vadimo	2010-01-11 21:02
Forum topic	Is (probabilistic) non-determinism pure ? A better term by S. Clover	Steven Obua	2009-12-30 21:38
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