Lambda the Ultimate

type	title	author	last post
Story	A Verified Compiler for an Impure Functional Language Depends on the domain by Allan McInnes	Paul Snively	2009-08-12 03:12
Story	Open Source for Hardware? HDLs on LtU by Allan McInnes	Luke Gorrie	2009-07-20 18:21
Story	A Reactive Model-based Programming Language for Robotic Space Explorers MERS by Allan McInnes	Allan McInnes	2009-07-11 23:46
Forum topic	Fully Encapsulated Languages? Are there any out there? Meyer by Allan McInnes	John Carter	2009-07-01 03:20
Forum topic	A programming language with extensible syntax Could try HoboTech by Allan McInnes Logix by Allan McInnes	metaprogrammer	2009-06-30 17:52
Forum topic	subjective but hopefully less flamebaid-lame Multiple models of computation? by Allan McInnes Broken link by Allan McInnes	raould	2009-06-30 17:39
Forum topic	GRS vs LTRS Clarifying the limits of applicability by Allan McInnes Choosing the right tool for the job by Allan McInnes	vag	2009-06-29 14:21
Forum topic	Right on! Indeed by Allan McInnes Abstract state machines? by Allan McInnes	Ehud Lamm	2009-06-27 03:44
Story	Computer music: a bastion of interactive visual dataflow languages Lucid by Allan McInnes Components and structure by Allan McInnes Structure and Behavior by Allan McInnes	Peter Van Roy	2009-06-19 03:30
Story	Questions Five Ways No argument there. by Allan McInnes We seem to be having trouble with composition by Allan McInnes Required, or just nice to have? by Allan McInnes Composing behaviors by Allan McInnes PEBKAC by Allan McInnes "Composable with rich data models"? by Allan McInnes When is an application not an application? by Allan McInnes cat -n file.txt | sort +5 | grep "todo" by Allan McInnes	Ehud Lamm	2009-06-02 20:24
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
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