Lambda the Ultimate

type	title	author	last post
Story	Social Processes and Proofs of Theorems and Programs Good point by Allan McInnes	Luke Gorrie	2012-03-19 13:02
Story	Computing Needs Time Building a "better" system by Allan McInnes Not so bleak by Allan McInnes Thanks by Allan McInnes RMA by Allan McInnes Addressed in the paper by Allan McInnes Using a different model by Allan McInnes	Allan McInnes	2012-03-05 19:35
Story	A Language-Based Approach to Unifying Events and Threads re: Process languages by Allan McInnes	shapr	2011-11-21 12:53
Story	The Weird World of Bi-Directional Programming My understanding by Allan McInnes	Ehud Lamm	2011-10-07 21:43
Story	Specification and Verification: The Spec# Experience	Allan McInnes	2011-06-10 04:46
Story	Passing a Language through the Eye of a Needle	Allan McInnes	2011-05-19 08:05
Forum topic	Go or Unladen Swallow? Limbo to Go by Allan McInnes	Srikumar Subramanian	2011-02-07 08:56
Forum topic	Seeking papers that unify control theory and programming language design Pappas, Tabuada, Ptolemy, Synchronous languages by Allan McInnes	Z-Bo	2011-01-26 22:41
Forum topic	A Brief History of Scala Non-intensive? by Allan McInnes	Isaac Gouy	2011-01-17 05:41
Forum topic	Tolerant vs. Demanding Software Ubicomp by Allan McInnes I did by Allan McInnes Undertested production code by Allan McInnes Armstrong's thesis by Allan McInnes	kclancy	2010-12-30 04:44
Story	Haskell Researchers Announce Discovery of Industry Programmer Who Gives a Shit Real World Haskell by Allan McInnes Funny because it's true? by Allan McInnes	Ehud Lamm	2010-12-29 19:26
Story	Continuation-Passing C: Compiling threads to events through continuations	Allan McInnes	2010-12-18 16:46
Story	program verification: the very idea Volume 2: Case Studies by Allan McInnes A marginal note by Allan McInnes "Verification" is a matter of semantics... by Allan McInnes Transputer verification by Allan McInnes	el-vadimo	2010-12-17 18:21
Forum topic	New Dataflow Programming Language EFFBDs and Behavior Diagrams by Allan McInnes	ad1mt	2010-11-30 01:24
Forum topic	expressivity of "idiomatic C++" One line of code? by Allan McInnes	el-vadimo	2010-11-10 22:56
Forum topic	The barrier to take-up of language innovation Thanks by Allan McInnes close tag by Allan McInnes Reminder by Allan McInnes	ad1mt	2010-11-06 03:26
Story	The Art of the Propagator AIM-453? by Allan McInnes	neelk	2010-10-25 06:59
Forum topic	Perlis Languages Concurrency or logic? by Allan McInnes	Robb Nebbe	2010-10-14 16:16
Story	Software Development with Code Maps	Allan McInnes	2010-10-01 19:07
Forum topic	Unifying Actors and Objects? Some work by Allan McInnes	Shrutarshi Basu	2010-09-15 01:04
Forum topic	What are the properties of "Functional Programming Languages"? A New Kind of Thread by Allan McInnes	kaveh.shahbazian	2010-09-13 17:38
Story	Is Transactional Programming Actually Easier? Nesc atomics by Allan McInnes	Z-Bo	2010-09-10 18:31
Story	Abstract interpreters for free	Allan McInnes	2010-09-01 18:54
Forum topic	The most simple concurrent language? occam by Allan McInnes	loldrup	2010-08-17 01:02
Forum topic	The ideal style/system for namespaces. foo->bar syntax by Allan McInnes	simcop2387	2010-08-16 17:25
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