Lambda the Ultimate

type	title	author	last post
Forum topic	How to learn about formal top-down approach to software architecture? Formal != top-down by Allan McInnes	Obscure Hipster	2009-11-30 15:23
Story	Scratch: Programming for All	Allan McInnes	2009-11-29 19:03
Story	π: a pattern language A few differences by Allan McInnes Paper now available by Allan McInnes	Allan McInnes	2009-11-03 21:49
Story	SequenceL - declarative computation on nonscalars	Allan McInnes	2009-11-03 12:28
Story	Minimal FORTH compiler and tutorial Cat by Allan McInnes	Ehud Lamm	2009-11-03 02:39
Story	Design Patterns 15 Years Later: An Interview with Erich Gamma, Richard Helm, and Ralph Johnson Applicability by Allan McInnes Thanks by Allan McInnes Context by Allan McInnes	Z-Bo	2009-10-26 23:13
Story	Patrick Logan on Software Transaction Memory Irony by Allan McInnes For example, to fire a by Allan McInnes	Ehud Lamm	2009-10-26 21:48
Story	Branching Time vs. Linear Time: Semantical Perspective Updated paper by Allan McInnes Different choices (for models and modelers) by Allan McInnes Receptive by Allan McInnes Observing my failure to articulate by Allan McInnes Not including CSP by Allan McInnes Language and logic by Allan McInnes The meaning of equivalence by Allan McInnes FDR != CSP by Allan McInnes Not quite equivalent by Allan McInnes	Allan McInnes	2009-10-02 06:02
Forum topic	Categories, the homemade object system No doubt by Allan McInnes SqueakyToy isNotA Animal by Allan McInnes	mikel evins	2009-08-31 04:50
Forum topic	Resolved Debates in Syntax Design ? do something od by Allan McInnes	gasche	2009-08-13 00:06
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
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