Lambda the Ultimate

type	title	author	last post
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	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	2011-09-15 21:04
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
Story	Why Did M.I.T. Switch from Scheme to Python? "More robots!" by Allan McInnes	Leon P Smith	2010-12-30 20:10
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	On the (Alleged) Value of Proof for Assurance Literate specification by Allan McInnes	shap	2010-12-15 14:59
Forum topic	New Dataflow Programming Language EFFBDs and Behavior Diagrams by Allan McInnes	ad1mt	2010-11-30 01:24
Story	Social Processes and Proofs of Theorems and Programs Good point by Allan McInnes	Luke Gorrie	2010-11-29 13:48
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
Forum topic	Beyond FRP: physics-inspired programming abstractions? Functional reactive systems theory by Allan McInnes	Sean McDirmid	2010-11-03 04:06
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
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