Lambda the Ultimate

type	title	author	last post
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
Forum topic	Experiment Ada was not designed by a committee by johnwcowan	Ehud Lamm	2014-10-01 17:10
Forum topic	Optimisation by repeated beta- and eta-reduction The paradox of the heap, reversed by johnwcowan People can study whatever they like by johnwcowan No room for Turing machines by johnwcowan	L Spice	2014-09-22 01:00
Story	Scala woes? "X is not needed because Y exists" considered harmful by johnwcowan	Ehud Lamm	2014-09-20 21:18
Forum topic	Who Needs Garbage Collection? Which spec? by johnwcowan	Keean Schupke	2014-09-20 06:41
Story	What's in store for the most widely used language by discerning hackers? What a horrible swamp of wifty thinking by johnwcowan	Ehud Lamm	2014-09-18 04:37
Forum topic	Request For Advice and Guidance On Writing a Scheme To C Compiler? Check out Chicken Scheme by johnwcowan	Alex1	2014-09-13 23:33
Forum topic	Patent on "safe" transitive immutability for object types — prior art? Treble damages by johnwcowan	Blaisorblade	2014-09-11 18:18
Forum topic	Languages without operator precedence XML DTDs and RELAX NG compact schemas use #3 by johnwcowan	Douglas McClean	2014-09-10 20:40
Forum topic	Programming by page faulting Worse than that by johnwcowan	Sean McDirmid	2014-09-09 00:11
Forum topic	A theory of data parallel computing Concurrency vs. parallelism by johnwcowan	Victor Eijkhout	2014-08-14 22:16
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