Lambda the Ultimate

type	title	author	last post
Forum topic	Functional Programming in the ACM CS Curriculum Imperative concurrency by Allan McInnes	mwand	2008-07-19 22:42
Forum topic	Let's make a programming language! Good Idea! by Allan McInnes	Achilleas Margaritis	2008-07-16 11:11
Story	Minimal FORTH compiler and tutorial Cat by Allan McInnes	Ehud Lamm	2008-07-14 23:16
Forum topic	Career paths and concerns For certain values of "alternative"... by Allan McInnes	jschuster	2008-05-30 17:36
Forum topic	Understanding category theory and its practical applications The Beseme Project by Allan McInnes	Winheim Raulsh	2008-05-26 05:25
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	2008-05-08 06:49
Forum topic	Static Analysis for Duck Typing Statically typed? by Allan McInnes	grom358	2008-05-03 22:13
Forum topic	A Cybernetics DSL? Control systems design by Allan McInnes Ptolemy II & SelfMan by Allan McInnes	noisesmith	2008-04-30 15:42
Story	Social Processes and Proofs of Theorems and Programs Good point by Allan McInnes	Luke Gorrie	2008-04-28 13:57
Story	Grady Booch: Software Engineering Grand Challenges Things to improve by Allan McInnes	Ehud Lamm	2008-04-27 18:35
Story	Computer Science Education: Where Are the Software Engineers of Tomorrow? Follow-up article: "Who Killed the Software Engineer?" by Allan McInnes Perhaps I should have used Z by Allan McInnes Term dilution by Allan McInnes A formal protest by Allan McInnes Can't argue with that... by Allan McInnes	Ehud Lamm	2008-04-21 22:03
Story	Software Craftsmanship: Apprentice to Journeyman McBreen by Allan McInnes	Daniel Yokomizo	2008-04-07 08:43
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-04-04 18:23
Story	An Interview with Robin Milner	Allan McInnes	2008-03-22 00:00
Forum topic	The Monad.Reader Model-checking and model-finding by Allan McInnes	Wouter Swierstra	2008-03-20 01:02
Story	A Language-Based Approach to Unifying Events and Threads re: Process languages by Allan McInnes	shapr	2008-03-17 16:27
Forum topic	What do you believe about Programming Languages (that you can't prove (yet))? CS as a tool of intellectual oppression by Allan McInnes Pi-calculus and logic by Allan McInnes re: Java + IntelliJ = Hybrid language ? by Allan McInnes Interesting paper by Allan McInnes Hybrid languages by Allan McInnes Occam by Allan McInnes	John Carter	2008-03-09 17:31
Forum topic	Leaning how to judge the right tool for the job? Javadoc != literate programming by Allan McInnes	raould	2008-02-26 21:34
Forum topic	Process Algebras: Whats the point? Erlang and Oz by Allan McInnes A few links and references by Allan McInnes Several things by Allan McInnes	markt	2008-02-25 06:41
Forum topic	time as a first class value? Thanks! by Allan McInnes Timed process calculi and other timed formalisms by Allan McInnes	falcon	2008-02-20 01:48
Story	Patrick Logan on Software Transaction Memory Irony by Allan McInnes For example, to fire a by Allan McInnes	Ehud Lamm	2008-02-16 23:53
Forum topic	Signals in an OOPL Pragmatism and problem-avoidance by Allan McInnes Eiffel by Allan McInnes	cdiggins	2008-02-08 16:07
Forum topic	Adding Concurrent Constructs to a Language with State For "old" read "time-tested"... by Allan McInnes	Ben L. Titzer	2008-02-05 01:51
Forum topic	Embedded concurrent FPish languages? But is it an oncoming train? by Allan McInnes Breaking the deadlock by Allan McInnes Embedded Gofer by Allan McInnes FP? by Allan McInnes	raould	2008-01-31 19:51
Forum topic	poll: syntax I think the difference by Allan McInnes Unconventional conventions by Allan McInnes	Givas	2008-01-25 02:00
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