Lambda the Ultimate

type	title	author	last post
Forum topic	The Monad.Reader Model-checking and model-finding by Allan McInnes	Wouter Swierstra	2012-04-11 12:54
Forum topic	Career paths and concerns For certain values of "alternative"... by Allan McInnes	Jonathan Schuster	2012-03-31 18:04
Forum topic	How to Generate (Hard) Real-Time Code from Declarative Programming Languages? Atom and Esterel by Allan McInnes	bryanedds	2012-03-29 23:06
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
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
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
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