Lambda the Ultimate

type	title	author	last post
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	2009-05-23 23:23
Forum topic	C++ Frequently Questioned Answers Practicality is a matter of perspective by Allan McInnes	Srikumar Subramanian	2009-05-19 00:40
Story	Purpose-Built Languages	Allan McInnes	2009-05-05 15:21
Forum topic	Algebra Of Programming (Bird, De Moor) [OT] Z by Allan McInnes	shahbaz	2009-04-27 20:22
Story	Swift: making web applications secure by construction Taint by Allan McInnes	Allan McInnes	2009-04-02 21:53
Forum topic	Easylanguage: domain specific language for trading stocks Embedded DSLs by Allan McInnes	shahbaz	2009-03-23 03:22
Story	C++ Futures Precedence and equality by Allan McInnes	Chris Rathman	2009-03-19 15:25
Story	Linear Logic and Permutation Stacks--The Forth Shall Be First Thanks by Allan McInnes	Luke Gorrie	2009-03-14 06:49
Story	Process calculi for transactions Different goals lead to different approaches by Allan McInnes 1978 vs 1985 by Allan McInnes Possibilities by Allan McInnes No single answer by Allan McInnes Montanari and Zavatarro by Allan McInnes	Charles Stewart	2009-03-06 09:15
Story	Don Box: Teaching my kids to program Thanks! by Allan McInnes Transterpreter for Mindstorms by Allan McInnes	Ehud Lamm	2009-02-27 00:12
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
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