Lambda the Ultimate

type	title	author	last post
Story	ECMAScript Edition 4 Reference Implementation understanding ML by Chad Wellington	Dave Herman	2017-08-05 19:34
Forum topic	On the (Alleged) Value of Proof for Assurance Confirmed by Chad Wellington proof as certification, etc. by Chad Wellington	shap	2016-11-24 01:04
Forum topic	Mathematics self-proves its own Consistency (contra Gödel et. al.) Metamathematics equivocation by Chad Wellington	Hewitt	2015-06-25 00:05
Forum topic	Some notes on Rust, the language. Some previous mention by Chad Wellington	John Nagle	2015-02-09 07:25
Forum topic	The broad ML Family workshop why not both? by Chad Wellington	Oleg	2014-07-31 10:07
Story	seL4: Formal Verification of an Operating-System Kernel I'm fascinated by the by Chad Wellington	James Iry	2014-07-29 07:19
Forum topic	Ambiguous language namespaces I had utterly forgotten by Chad Wellington	Sean McDirmid	2014-07-04 03:31
Forum topic	Symbol visibility (public, private, protected, etc.) contracts by Chad Wellington	Talin	2014-05-31 05:02
Story	Study finds that when no financial interests are involved programmers choose DECENT languages Communist Agenda by Chad Wellington	Ehud Lamm	2014-04-15 05:59
Forum topic	javascript shift-reduce parser GLR parsing by Chad Wellington	Ivan V.	2013-11-16 00:54
Forum topic	Interactive Parsing Theory almost on the nose by Chad Wellington	Alexander Morou	2013-11-09 06:15
Forum topic	Parsing people, unite! Call for position papers for Parsing@SLE (SPLASH, Indianapolis) relevant by Chad Wellington	jurgenv	2013-08-28 06:56
Forum topic	A New Kind of Type System An explanation, sadly long-winded by Chad Wellington inferred row polymorphism? by Chad Wellington	Sean McDirmid	2013-07-03 18:06
Forum topic	Nimrod: A new statically typed, compiled programming language which supports metaprogramming Burden the compiler instead by Chad Wellington	dom96	2013-05-29 22:46
Forum topic	Go-style defer-recover exception handling is better than try-catch style? I concur by Chad Wellington	Limin Fu	2013-05-13 01:54
Story	Parsing: The Solved Problem That Isn't I also agree well with your by Chad Wellington make solutions, not problems by Chad Wellington	James Iry	2012-08-26 09:11
Forum topic	Languages with 'unique' programs you're right by Chad Wellington BDD canonicalization by Chad Wellington	dataangel	2012-06-04 11:11
Forum topic	[Meta] Are we Reddit? signal to noise by Chad Wellington	James Iry	2012-02-29 02:46
Forum topic	Syntax Desugaring Algorithm Question Two prongs by Chad Wellington	bryanedds	2012-02-23 23:46
Forum topic	Critical Programming Language Design I concur, plus speculation by Chad Wellington	Sean McDirmid	2011-10-04 23:00
Forum topic	Language/Compiler design blogs? ParaSail by Chad Wellington	Azh	2011-10-04 09:20
Story	Google's "The Future of JavaScript" internal memo leaked Indeed, I was being overly by Chad Wellington Open development by Chad Wellington	Z-Bo	2011-09-27 16:31
Story	Programming and Scaling Orchestration is the new Scripting by Chad Wellington And more and more... by Chad Wellington	Manuel J. Simoni	2011-08-23 16:56
Story	Yacc is dead lists by Chad Wellington language design by Chad Wellington Ambiguous parsing by Chad Wellington	James Iry	2011-08-10 17:06
Story	One Pass Real-Time Generational Mark-Sweep Garbage Collection dubious claim by Chad Wellington	James Iry	2011-05-18 23:10
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