Lambda the Ultimate

type	title	author	last post
Forum topic	DRAKON-Erlang: Visual Functional Programming Data flow and control flow by vrijz	Stepan Mitkin	2012-10-12 08:32
Forum topic	Bob Harper of CMU is blogging about programming languages and introductory CS education	vrijz	2012-06-30 00:11
Forum topic	Graphical languages of the Russian space program Flowcharts by vrijz select ~~ fmap by vrijz	Manuel J. Simoni	2012-06-15 06:43
Forum topic	Proofs as programs C-zar by vrijz	hbrandl	2012-05-29 09:43
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
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	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	plt vs. something else for programming in the large? Refinement types by vrijz	raould	2010-06-17 01:07
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
Forum topic	Static Typing Where Possible, Dynamic Typing When Needed Old article by vrijz	Isaac Gouy	2010-04-20 22:32
Story	A Formal System For Euclid's Elements I should look for a warm and friendly by vrijz UML? by vrijz formal reasoning in VPLs by vrijz	neelk	2010-04-08 16:57
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