Lambda the Ultimate

type	title	author	last post
Forum topic	Proofs as programs C-zar by vrijz	hbrandl	2012-05-21 20:33
Story	Social Processes and Proofs of Theorems and Programs Ally Donaldson's post by vrijz Misunderstanding CH? by vrijz Interactive proof assistants by vrijz	Luke Gorrie	2012-03-19 13:02
Forum topic	Evolution of mainstream programming language paradigms OOP vs. Functional by vrijz	const	2012-02-08 02:01
Forum topic	iPhone PL lockdown Linux can run, if you want it to by vrijz	Sean McDirmid	2011-12-24 05:49
Story	What needs to be done? Good question by vrijz	Ehud Lamm	2011-11-07 05:29
Forum topic	Metaphors we Program By: Space, Action and Society in Java Not considered in this paper by vrijz	Pierre-Alexandre Voye	2011-10-04 19:21
Forum topic	Open wiki-like code repository Formalized mathematics by vrijz	Sean McDirmid	2011-05-30 19:19
Story	Kleisli Arrows of Outrageous Fortune Swierstra's Hoare State Monad? by vrijz	Paul Snively	2011-05-19 09:24
Forum topic	Redhat's New Language The language is apparently by vrijz	Noel	2011-04-16 03:10
Forum topic	Multi-Return Function Call In some cases the value by vrijz	Matthew Morgan	2011-04-14 05:45
Forum topic	Bob Harper of CMU is blogging about programming languages and introductory CS education	vrijz	2011-04-02 13:52
Story	Generics: The Importance of Wildcards Re: single inheritance is both co- and contravariant? by vrijz	Ehud Lamm	2011-01-14 15:36
Forum topic	Type systems for structured languages Agda 1/Alfa by vrijz	Sean McDirmid	2010-12-29 00:36
Forum topic	On the (Alleged) Value of Proof for Assurance CompCert by vrijz Very interesting point: by vrijz Curry-Howard? by vrijz The reason for this by vrijz Z notation by vrijz	shap	2010-12-15 14:59
Story	seL4: Formal Verification of an Operating-System Kernel objective topics by vrijz	James Iry	2010-12-15 14:54
Forum topic	New Dataflow Programming Language dataflow for VLIW? by vrijz Structured vs. visual dataflow? by vrijz Kludgy notation: a case in point? by vrijz Re: new dataflow PL for the "average prorammer" by vrijz	ad1mt	2010-11-30 01:24
Forum topic	The Free-Form Linguistics Revolution in Mathematica Natural language feedback by vrijz	Sean McDirmid	2010-11-16 19:33
Story	Xtext: An IDE on the cheap text vs. form editing by vrijz Intentional SW by vrijz	bashyal	2010-10-15 21:46
Forum topic	App Inventor: Programming for non-programmers... again actually benefit from a tool like AppInventor by vrijz	fogus	2010-07-16 23:11
Story	Why Undergraduates Should Learn the Principles of Programming Languages Not resistance by vrijz untyped lambda-calculus, by vrijz	Z-Bo	2010-07-15 09:08
Forum topic	Have tracing JIT compilers won? Revision control for optimizations by vrijz	Peter Michaux	2010-06-25 19:29
Forum topic	plt vs. something else for programming in the large? Refinement types by vrijz	raould	2010-06-17 01:07
Forum topic	Seeking thoughtful criticisms of functional programming and languages avoid thinking of making a by vrijz	scottmcl	2010-06-12 03:39
Forum topic	"Critical code studies" I don't think "joke" is the right word here by vrijz aside: natural language and PLT by vrijz Power structures and authority in PLT by vrijz Seconded by vrijz	Travis Brown	2010-05-19 18:29
Story	A few billion lines of code later: using static analysis to find bugs in the real world Safety v. convenience by vrijz	Allan McInnes	2010-04-23 11:28
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