Lambda the Ultimate

type	title	author	last post
Story	A Machine-Checked Model for a Java-Like Language, Virtual Machine, and Compiler	Allan McInnes	2009-02-16 15:44
Story	LtU: blog not forum! It may not help by Allan McInnes I agree by Allan McInnes	Ehud Lamm	2009-02-14 14:11
Forum topic	Introducing Dawn - yet another new language Semantics might help by Allan McInnes	Poul Krogh	2009-02-06 09:07
Forum topic	The Origins of the BitC Programming Language Design-for-analysis by Allan McInnes	Isaac Gouy	2009-01-30 00:38
Forum topic	New Programming Language Idea Thanks for the clarification by Allan McInnes Floyd-Hoare logic? by Allan McInnes	Lee Chou	2009-01-14 09:06
Story	Microsoft Oslo "D" by Allan McInnes	Ehud Lamm	2008-12-09 21:04
Story	Functional building blocks as concurrency patterns Racing to the finish line by Allan McInnes What is a race condition then? by Allan McInnes CTM by Allan McInnes	Peter Van Roy	2008-12-05 15:58
Forum topic	Remembering everything - a new(?) idea for a new PL History variables by Allan McInnes	pureza	2008-12-02 17:19
Story	Local Rely-Guarantee Reasoning Online? by Allan McInnes	neelk	2008-11-25 23:44
Forum topic	yet another oop formalization: class as abstract automata Usernames by Allan McInnes	A. G. Piskunov	2008-11-25 20:27
Forum topic	Current "hot" topics in parallel programming? "...a lot of work has been already done there..." by Allan McInnes	Michael Lesniak	2008-11-21 09:00
Forum topic	haskell for gpu Comparison in a nutshell by Allan McInnes	David Minor	2008-10-21 14:18
Forum topic	Choice of OS of LtU readers Help by Allan McInnes	marco	2008-10-21 11:00
Forum topic	Syntactic/Semantic Control in MDA Framework Metamodels and model-checking by Allan McInnes	Zizek	2008-10-13 10:18
Forum topic	Visual Programming Language Syntax Formalisms I think I get the picture... by Allan McInnes Metamodeling by Allan McInnes	Jason Livesay	2008-10-07 16:50
Story	A Framework for Comparing Models of Computation Embedded systems by Allan McInnes	Andris Birkmanis	2008-09-13 08:33
Forum topic	Let's make a programming language! Good Idea! by Allan McInnes	Achilleas Margaritis	2008-09-12 09:21
Story	Computation Orchestration: A Basis for Wide-Area Computing An equivalent operation by Allan McInnes	neelk	2008-09-11 17:15
Story	Erasmus: A Modular Language for Concurrent Programming A few differences by Allan McInnes A common mistake by Allan McInnes occam's type system by Allan McInnes "Production language" with embedded concurrency constructs by Allan McInnes Standing on the shoulders of many giants by Allan McInnes	cdiggins	2008-09-10 10:23
Forum topic	Is it a Programming Language? CSP-OZ or Circus by Allan McInnes Programming languages vs specification languages by Allan McInnes	Ashley McNeile	2008-08-26 22:55
Story	In Praise of Scripting: Real Programming Pragmatism Thanks by Allan McInnes Pragmatics by Allan McInnes Hard to say by Allan McInnes Freely available draft by Allan McInnes	Allan McInnes	2008-08-25 05:13
Forum topic	Patrick Logan on patterns A pattern of forgetfulness by Allan McInnes Going to a higher level by Allan McInnes	Ehud Lamm	2008-08-13 15:29
Forum topic	paper suggestions for some current topics On process calculi by Allan McInnes	lmeyerov	2008-07-28 22:08
Forum topic	Functional Programming in the ACM CS Curriculum Imperative concurrency by Allan McInnes	mwand	2008-07-19 22:42
Forum topic	Understanding category theory and its practical applications The Beseme Project by Allan McInnes	Winheim Raulsh	2008-05-26 05:25
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