Lambda the Ultimate

type	title	author	last post
Story	Freer Monads, More Extensible Effects It's basically library support by johnwcowan	naasking	2015-09-14 03:17
Forum topic	Moderation on LtU 18C = 21C by johnwcowan Samuel Johnson on criticism by johnwcowan	gasche	2015-09-05 11:34
Forum topic	verified ML Proper link for verified PreScheme by johnwcowan	raould	2015-08-27 00:17
Story	ACM Classic Books Series While I love most of the by johnwcowan	Ehud Lamm	2015-08-18 13:44
Forum topic	Database programming language review Is this the Links you mean? by johnwcowan	davidb	2015-07-23 00:44
Forum topic	When are Actors appropriate? Every Kant needs a Fichte by johnwcowan	raould	2015-07-21 16:25
Forum topic	Recursive Descent Parser Generators It looks like you're reinventing packrat parsing ... by johnwcowan	Alexander Morou	2015-07-14 06:50
Forum topic	Compilation to C, a definitive guide? Thanks; in any case, this is not a Cheney bug by johnwcowan Is their actual combinator framework for C described anywhere? by johnwcowan The Chicken stack check is by johnwcowan	naasking	2015-07-05 19:00
Forum topic	"Simple Made Easy" by Rich Hickey and subsequent discussion Language changes ... by johnwcowan	shahbaz	2015-06-30 15:13
Forum topic	Who owns your research? Results of SIGPLAN Open Access survey * That's not a problem with arxiv, it's a problem with ACM. by johnwcowan * Yes. I meant "arbitrary Turing machines" by johnwcowan You can't implement Turing machines by physical means by johnwcowan Green OA, Gold OA by johnwcowan	gasche	2015-06-25 06:55
Forum topic	XKCD on type theory... Fortran and Algol by johnwcowan Documents are not a narrow use case ... by johnwcowan	Ray Dillinger	2015-06-16 21:32
Forum topic	Types are fundamental to both logic and computation See the SEP by johnwcowan	Hewitt	2015-06-02 11:07
Forum topic	The Programming Language Wars: Questions and Responsibilities for the Programming Language Community I agree with the second point by johnwcowan * Laziness is a cost people pay for purity. by johnwcowan It's not threads, it's uncontrolled sharing by johnwcowan	Phil Miess	2015-05-18 14:25
Forum topic	Trouble understanding Danvy's functional unparsing * Because one speaks Greek and the other speaks Latin by johnwcowan	jezng	2015-05-18 13:35
Forum topic	Why we don't believe in Visual Programming Pictures at the high level, text down below by johnwcowan	Tiago Simoes	2015-04-14 15:24
Forum topic	how many lines of code can civilization support? Humans aren't safe drivers either by johnwcowan	Thomas Lord	2015-04-09 22:07
Forum topic	Some notes on Rust, the language. Counterexamples by johnwcowan	John Nagle	2015-02-09 07:25
Forum topic	SML# targets LLVM Pure programs are not guaranteed either confluent or terminating by johnwcowan HLLs on LLVM by johnwcowan	raould	2014-12-26 21:05
Forum topic	Let's kick continuations around for a while... Confusing terminology by johnwcowan	Ray Dillinger	2014-12-26 18:05
Forum topic	Snakes all the way down Link by johnwcowan	raould	2014-12-24 15:49
Forum topic	Why do we need modules at all? Ein Reich, ein Volk, ... by johnwcowan	Sean McDirmid	2014-12-06 15:20
Story	Facebook releases "Flow", a statically typed JavaScript variant Not true of Dialyzer by johnwcowan	James Iry	2014-12-03 08:59
Forum topic	Impact of static type systems on productivity of actual programmers: first experiment I've seen documented. No evidence by johnwcowan	Ray Dillinger	2014-11-18 03:22
Forum topic	Concatenative Language Kont The semantics of Joy by johnwcowan	Chris	2014-10-22 09:15
Story	Open thread: RIP Steve Jobs The truth is out at last by johnwcowan Of course there are by johnwcowan He always seemed just another salesman CEO to me by johnwcowan	Ehud Lamm	2014-10-05 00:19
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