Lambda the Ultimate

type	title	author	last post
Forum topic	Syntax Solicited for Imperative-flavored Concurrent Language with Keywords Occam syntax by Allan McInnes occam and occam-pi by Allan McInnes	Jack Waugh	2007-03-20 03:12
Forum topic	What's up with Lua? Precisely by Allan McInnes Oz? by Allan McInnes	Ehud Lamm	2007-03-13 16:36
Forum topic	Behaviour Diffing operational vs. denotational semantics in process calculi by Allan McInnes	Holgly Morgan	2007-03-04 17:44
Forum topic	Why do they program in C++? There is no level playing field by Allan McInnes The Language Wars by Allan McInnes Transterpreter code availability by Allan McInnes	David Waern	2007-02-19 12:09
Forum topic	Has anyone commented on Combined Object-Lambda Architectures? Steps Toward The Reinvention of Programming by Allan McInnes	Dave Bauer	2007-02-18 03:21
Story	The Landscape of Parallel Computing Research: A View from Berkeley Back to the future by Allan McInnes	Ehud Lamm	2007-02-10 18:35
Forum topic	A reflective functional language for hardware design and theorem proving Don't know, but... by Allan McInnes	Allan McInnes	2007-02-01 05:31
Forum topic	What Makes Erlang Processes Tick? Scheduling policy by Allan McInnes	mjstahl	2007-01-29 19:09
Forum topic	OO Language Engineering for the Post-Java Era Concurrency in Java and Erlang by Allan McInnes	Isaac Gouy	2007-01-18 17:55
Forum topic	Why Are ALL Programming Languages So Low Level? Dataflow by Allan McInnes Is there a way in which we by Allan McInnes 42 by Allan McInnes	Vorlath	2007-01-16 22:41
Forum topic	Why Johnny can't code Transterpreter by Allan McInnes	Matthew Willson	2007-01-04 22:54
Forum topic	Alloy - The Book Related popular article in Scientific American by Allan McInnes	Isaac Gouy	2006-12-19 13:50
Forum topic	Theorem proving and patents ... Formalization by Allan McInnes	Srikumar Subramanian	2006-12-18 22:33
Story	Elements of Interaction That'd be nice by Allan McInnes	Luke Gorrie	2006-12-17 23:10
Story	[Redux] The Polyadic pi-Calculus: a Tutorial (1991) Robin Milner Indeed by Allan McInnes Interesting pi-calculus application by Allan McInnes CSP by Allan McInnes	cdiggins	2006-12-14 05:12
Story	PVS goes open source Z by Allan McInnes	Ehud Lamm	2006-12-12 04:36
Story	Mechanized Metatheory Model-Checking Model-checking hardware, and the FL functional language by Allan McInnes	Jim Apple	2006-12-11 21:44
Story	Linear types for aliased resources Design by Contract? by Allan McInnes	Ehud Lamm	2006-12-07 16:10
Forum topic	Functional programming and software engineering It's just a FAD ;-) by Allan McInnes	Kay Schluehr	2006-11-20 17:36
Forum topic	A stackless runtime environment for a Pi-calculus Thanks for the heads up by Allan McInnes More info by Allan McInnes A note on compilation by Allan McInnes	Allan McInnes	2006-11-02 12:41
Story	Failure-oblivious computing Addressing different problems by Allan McInnes hardware memory errors by Allan McInnes	Anton van Straaten	2006-10-04 20:21
Forum topic	Designing a Programming Textbook You're not alone in that opinion by Allan McInnes	cdiggins	2006-10-02 19:26
Story	Handling multiple concurrent exceptions in C++ using futures From the other direction by Allan McInnes	Ehud Lamm	2006-09-22 20:53
Story	Dynamic Languages Symposium Program Online Engineering software by Allan McInnes Proofs by Allan McInnes "Main-stream" programmers by Allan McInnes Concurrent programming languages by Allan McInnes	Erik Meijer	2006-09-20 17:21
Forum topic	Neophyte question: detecting deadlock, livelock, races etc. Occam-pi by Allan McInnes	raould	2006-09-15 16:26
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