Lambda the Ultimate

type	title	author	last post
Forum topic	A StackExchange Site for Programming Language Theory Software is a design... which is why its mind stuff by Allan McInnes Design == mind stuff by Allan McInnes	aaditmshah	2014-09-27 15:30
Forum topic	Languages without operator precedence occam by Allan McInnes	Douglas McClean	2014-09-10 20:40
Story	Safely Composable Type-Specific Languages	Allan McInnes	2014-08-13 18:09
Forum topic	Reactive Programming Loops and implicit state by Allan McInnes	J Storrs Hall	2014-08-06 03:32
Forum topic	Notation for debugging type derivations. "How to Write a Proof" by Allan McInnes	Keean Schupke	2014-06-06 19:04
Forum topic	Announcing Lang.NEXT 2014 - Registration is Free and Now Open Bonus points by Allan McInnes	Charles Torre	2014-06-04 00:59
Forum topic	type theory about programming language? There are more things in heaven and earth, Horatio... by Allan McInnes Not even wrong by Allan McInnes wrong about wrong by Allan McInnes	Rys McCusker	2014-05-21 23:10
Forum topic	Giant list of visual PLs The control/signal-processing DSL by Allan McInnes	Manuel J. Simoni	2014-05-02 16:09
Forum topic	Introduction to processes (Tony Hoare's CSP processes) YMMV by Allan McInnes Think modeling, not implementation by Allan McInnes Choice in CSP by Allan McInnes	hbrandl	2014-04-29 21:48
Story	What Are The Resolved Debates in General Purpose Language Design? Fair point by Allan McInnes Others in control and safety-critical systems by Allan McInnes	James Iry	2014-03-31 20:55
Story	Determinism Is Not Enough: Making Parallel Programs Reliable with Stable Multithreading Agreed by Allan McInnes Can be an addition by Allan McInnes Coming from different directions by Allan McInnes	Allan McInnes	2014-03-05 19:33
Forum topic	Proving running times of algorithms Okasaki by Allan McInnes	jason stumpf	2013-09-13 02:43
Story	Why Did M.I.T. Switch from Scheme to Python? "More robots!" by Allan McInnes	Leon P Smith	2013-09-12 17:06
Forum topic	Beyond FRP: physics-inspired programming abstractions? Functional reactive systems theory by Allan McInnes	Sean McDirmid	2013-08-22 19:13
Story	History of Logic Programming: What went wrong, What was done about it, and What it might mean for the future Alternative link by Allan McInnes	Ehud Lamm	2013-07-28 20:42
Forum topic	Cost of provably-correct code Bang for your buck by Allan McInnes Not necessarily a good example by Allan McInnes	Ehud Lamm	2013-07-06 19:56
Story	Google Blockly Lets You Hack With No Keyboard	Allan McInnes	2012-06-13 07:36
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
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