Lambda the Ultimate

type	title	author	last post
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
Forum topic	Advantages of Soft Typing And those would by Allan McInnes Incremental progress by Allan McInnes Another request for grounding by Allan McInnes Grounding by Allan McInnes	Curtis W	2006-08-29 22:21
Forum topic	Apple: procedural -> OO -> AOP -> advanced procedural Indeed. Concurrent C appears by Allan McInnes Sounds like occam by Allan McInnes	Isaac Gouy	2006-08-28 13:35
Forum topic	Network Transparent languages BTW, as far as I know, these by Allan McInnes	mansu	2006-08-08 19:10
Forum topic	What are the real benefits of FP? Huh? by Allan McInnes Reactive programming and patterns by Allan McInnes	dataangel	2006-07-09 20:03
Forum topic	Oxymoronic? "Safety-critical development guidelines for real-time Java" SEUs by Allan McInnes Other recent "safety-critical" story by Allan McInnes	raould	2006-07-01 15:52
Forum topic	Rules for Developing Safety-Critical Code Ada by Allan McInnes SPIN by Allan McInnes FP and embedded systems by Allan McInnes	Peter J. Wasilko	2006-06-25 21:26
Forum topic	emulation for Erlang style processes Transputer by Allan McInnes	Rys McCusker	2006-06-11 03:01
Forum topic	Return of the Global Variables? Real world globals by Allan McInnes	Koray Can	2006-06-08 07:31
Forum topic	Buried Treasure - No Fluff Just Stuff Concrete information would help by Allan McInnes Haskell type synonyms by Allan McInnes Syntax != semantics by Allan McInnes A request by Allan McInnes Yokomizo's corollary by Allan McInnes	Isaac Gouy	2006-06-08 03:44
Forum topic	Javascript department Sounds reasonable by Allan McInnes	Ehud Lamm	2006-06-04 18:54
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