Lambda the Ultimate

type	title	author	last post
Story	The Algebra of Data, and the Calculus of Mutation dimensional analysis by el-vadimo	Manuel J. Simoni	2012-02-10 17:55
Story	Vellvm: Formalizing the LLVM Intermediate Representation for Verified Program Transformations Re: What exactly can it do? by el-vadimo	Paul Snively	2012-02-09 18:04
Story	Deca, an LtU-friendly bare metal systems programming language être, ou ne pas étre by el-vadimo “You and Your Research” by el-vadimo	Anton van Straaten	2012-01-23 10:21
Forum topic	Go's proposed panic/recover exception-like mechanism exceptions ⇏ stack unwinding by el-vadimo Re: Error-Handling Patterns by el-vadimo	pgregory	2012-01-07 01:57
Forum topic	Programmer Archeologists understanding things top to bottom by el-vadimo	Sean McDirmid	2012-01-06 16:48
Story	Seven Myths of Formal Methods Revisited tangential remarks by el-vadimo	naasking	2012-01-03 15:24
Forum topic	Run Your Research: On the Effectiveness of Mechanization relationship of Redex to Jackson's Alloy by el-vadimo	lmeyerov	2011-12-29 20:22
Forum topic	iPhone PL lockdown Gilad Bracha's take by el-vadimo	Sean McDirmid	2011-12-24 05:49
Forum topic	General purpose as a special case? CiaoPP by el-vadimo Re: Why only ‘minimal’ langues by el-vadimo therapeutic aspect of a REPL by el-vadimo	Wendell	2011-12-18 04:04
Forum topic	REPL-schmepl? more like, “I hate debuggers” by el-vadimo eval gone bad by el-vadimo evaluating evaluators by el-vadimo REPL as an afterthought by el-vadimo on the value of planning (and documentation) by el-vadimo	el-vadimo	2011-12-07 00:25
Story	A bit of Scheming updated link by el-vadimo	Ehud Lamm	2011-12-01 13:44
Forum topic	math proofs are more robust than computer proofs Re: There's proofs and proofs by el-vadimo	raould	2011-11-18 20:27
Forum topic	SECD Machine - RAP? xref by el-vadimo	cdiggins	2011-10-03 12:00
Forum topic	Literate Programming: Retrospect and Prospects progress update on Axiom’s literate rewrite by el-vadimo LP/Lisp by el-vadimo ReST ≠ REST by el-vadimo closing thoughts by el-vadimo what's next? by el-vadimo	el-vadimo	2011-07-20 21:10
Forum topic	modules are anti-modular	el-vadimo	2011-06-27 17:31
Forum topic	does your language need a memory model? parallel vs. concurrent by el-vadimo	el-vadimo	2011-03-22 03:31
Forum topic	What is computation? Concurrency versus Turing's Model analogy considered harmful by el-vadimo Mike Davey's TM by el-vadimo Re: broken link by el-vadimo	Hewitt	2011-02-22 13:52
Story	Haskell Researchers Announce Discovery of Industry Programmer Who Gives a Shit Re: …it never dawned on them… by el-vadimo redefining professionalism by el-vadimo	Ehud Lamm	2010-12-29 19:26
Forum topic	The Myths of Object-Orientation let's quote Alan Kay by el-vadimo RoarVM by el-vadimo A Stack is not an object. What is? by el-vadimo ⨯-ref by el-vadimo late-bound familial ties by el-vadimo Re: Scott McKay is the original tragedy/farce citation in PL by el-vadimo single dispatch is of the essence by el-vadimo psychiatry of object orientation by el-vadimo objects ≣ closures by el-vadimo (temporary) direct URL to the paper by el-vadimo ...	el-vadimo	2010-12-21 17:28
Story	program verification: the very idea Jevons paradox by el-vadimo hardware verification by el-vadimo SECD verification project by el-vadimo on playing catch-up by el-vadimo have checker, will verify by el-vadimo allez en avant, et la foi vous viendra by el-vadimo moral hazard by el-vadimo verifying compiler: the grand challenge by el-vadimo ceci n'est pas une pipe by el-vadimo wget --recursive --no-parent http://vstte.ethz.ch/Files/ by el-vadimo ...	el-vadimo	2010-12-17 18:21
Forum topic	On the (Alleged) Value of Proof for Assurance more on Sturgeon's revelation by el-vadimo Sturgeon vs. Pedersen by el-vadimo Bracha on Java serialization (and language design) by el-vadimo grand challenge by el-vadimo seL4's formal semantics of Haskell and C by el-vadimo the Z notation by el-vadimo Gutmann's critique of formal methods by el-vadimo	shap	2010-12-15 14:59
Story	seL4: Formal Verification of an Operating-System Kernel rigorous standards by el-vadimo Re: Atanassowism by el-vadimo Re: Not in the May issue…. by el-vadimo from the horse's mouth by el-vadimo first-order vs. fourth-order by el-vadimo ask not what formal verification can do for you by el-vadimo Re: Communications of the ACM, May, 2010 Klein et al by el-vadimo	James Iry	2010-12-15 14:54
Story	A Preliminary Survey on Functional Programming fear and loathing by el-vadimo out of context by el-vadimo on physicists by el-vadimo non-snarky approach to selling FP to the masses by el-vadimo	Ehud Lamm	2010-12-14 05:28
Forum topic	Lambda the Ultimate seems an Overstatement (not) Kay's lament by el-vadimo jamming (disambiguation) by el-vadimo	Ed Earl Ross	2010-12-13 19:44
Story	The Fortress Language Spec v0.618 a PL better than Java deemed an enormous challenge by el-vadimo	Dave Herman	2010-12-13 04:24
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