Lambda the Ultimate

type	title	author	last post
Forum topic	Logic Programming with Failure as an Exception Icon works the other way by johnwcowan	Keean Schupke	2016-03-07 06:17
Forum topic	Need to Talk Code can be very stable by johnwcowan	marco	2016-02-02 05:56
Forum topic	Typed X (Racket, Clojure, Lua) just doesn't pan out? The post lays out the issues by johnwcowan	raould	2016-01-31 00:31
Story	Static vs. Dynamic Languages: A Literature Review Dynamic and static typing are separate things by johnwcowan Dynamic and static typing are separate things by johnwcowan Types or languages? by johnwcowan	naasking	2016-01-11 06:22
Forum topic	Nesting imperative into functional code Yes, that's how it's implemented by johnwcowan Shell pipelines by johnwcowan	Ivan V.	2015-12-23 02:46
Story	Compilers as Assistants Old BSD error(1) by johnwcowan Human nature is not to work for The Man at all by johnwcowan But there is an equal and opposite failure mode ... by johnwcowan And the problem with fools ... by johnwcowan Separation of concerns by johnwcowan	bashyal	2015-12-04 15:35
Forum topic	Logical and Functional Programming in Each Other Logic variables are easy to add to ML by johnwcowan	Jack Waugh	2015-12-02 19:01
Forum topic	Andrei's answer to "Which language has the brightest future in replacement of C between D, Go and Rust? And Why?" T written in T by johnwcowan	Sean McDirmid	2015-11-24 16:45
Forum topic	minor lexical tokenization idea via character synonyms The problem is always the keyboard by johnwcowan	Rys McCusker	2015-11-01 08:55
Forum topic	inter-language PL theory patterns relevant to IPC? Not full mobile code, just simple mobile scripts by johnwcowan	Rys McCusker	2015-10-31 17:52
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
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