Lambda the Ultimate

type	title	author	last post
Forum topic	Generative Grammar-based Computation Not for Parsing by dmbarbour Re: temporal grammars by dmbarbour Domain by dmbarbour Infinite Arity Partial Grammars by dmbarbour Temporal Generative Grammars by dmbarbour Thank you for the by dmbarbour Algebraic properties of partial grammars by dmbarbour Re: Partial Grammars as a Monoid by dmbarbour Point-free Composition and Partial Grammars by dmbarbour Re: the 'point' behind xsets by dmbarbour ...	dmbarbour	2011-05-08 06:50
Forum topic	Iteration function in lambda calculus Problematic Integers by dmbarbour Multiplication by dmbarbour point-free composition by dmbarbour	kmisd	2011-05-06 10:32
Forum topic	Elephants don't play chess Automata and Language Theory for Agents by dmbarbour Differences from previous architectures by dmbarbour Definition of Subsumption Architecture: by dmbarbour Modularity of Subsumption by dmbarbour Re: 'enhanced' perception by dmbarbour Sharing Plans is a Fine Basis for Wait-Free Coordination by dmbarbour Modularity by dmbarbour	Sean McDirmid	2011-05-01 20:24
Forum topic	Types from imported modules "leaking" into a module's public interface Formalizing some of this by dmbarbour Code Search - Semantics vs. IDE feature by dmbarbour Linker as Constraint Solver by dmbarbour Ban on Imports by dmbarbour	scottmcl	2011-05-01 17:19
Forum topic	Build Your Own Blocks (BYOB) Re: Scalable Programming Models by dmbarbour Delay vs. State by dmbarbour How could you be in the by dmbarbour The robotics community isn't by dmbarbour Programming with Time by dmbarbour I don't attribute any by dmbarbour If my battalions could by dmbarbour Word play by dmbarbour Command and Consequence by dmbarbour Thanks by dmbarbour ...	lmeyerov	2011-04-28 08:47
Forum topic	Nomenclature for impure functions Idempotence by dmbarbour Allocation and Temporal Effects by dmbarbour Infinite Memory by dmbarbour Procedure as Strategy by dmbarbour	Alexandre Cossette	2011-04-28 03:28
Forum topic	The Grafwegen Hi Compiler named Hic release 0.1 I think it's better to by dmbarbour	marco	2011-04-24 10:41
Forum topic	Generalized Arrows are Multi Level Languages	dmbarbour	2011-04-21 20:28
Forum topic	Staking Claims: A History of Programming Language Design Claims and Evidence Human in a loop by dmbarbour one of the worst mechanisms by dmbarbour psychology and security? by dmbarbour an industrial chair by dmbarbour No need for Psychology by dmbarbour Principled Programming Language Design by dmbarbour	Sean McDirmid	2011-04-19 23:40
Forum topic	Multi-Return Function Call cf. Arrows by dmbarbour	Matthew Morgan	2011-04-14 05:45
Forum topic	Programming with touch? I didn't say anything about by dmbarbour Wouldn't it be feasible to by dmbarbour SLIME won't work. by dmbarbour	Sean McDirmid	2011-04-13 23:03
Forum topic	Algebra of Programming Useful Algebraic Properties for Programming Models by dmbarbour	Carter Cheng	2011-04-12 10:15
Forum topic	Programming on an iPhone Developer License by dmbarbour tablet programming experience by dmbarbour Jailbreak! by dmbarbour x-ref by dmbarbour	Tobias Nurmiranta	2011-04-11 23:50
Forum topic	History of PL here it is by dmbarbour	Ehud Lamm	2011-04-08 22:44
Forum topic	Extensible nesting of classes Concept Oriented Programming by dmbarbour	Sean McDirmid	2011-04-07 10:16
Forum topic	Determining if a function is effectively pure IIRC, Bit-C includes a by dmbarbour ST Monad by dmbarbour	jafingerhut	2011-04-05 17:02
Story	Finding and Understanding Bugs in C Compilers a bit fuzzy what a by dmbarbour Contradictions in the by dmbarbour Specification Bugs by dmbarbour	James Iry	2011-04-02 07:31
Forum topic	Continuations that store the heap? Opposite problem by dmbarbour Uses by dmbarbour First-class Undo, Backtracking, Worlds by dmbarbour	cdiggins	2011-03-25 04:47
Forum topic	does your language need a memory model? Concurrency and MM by dmbarbour	el-vadimo	2011-03-22 03:31
Story	Functor is to Lens as Applicative is to Biplate: Introducing Multiplate Uniplate, biplate, by dmbarbour	Jacques Carette	2011-03-17 09:27
Forum topic	Namespaces for methods? Long names by dmbarbour Explicit interface implementations by dmbarbour It depends on why you are by dmbarbour Extensions via Interfaces by dmbarbour Scoped Extensions by dmbarbour Objects as Modules by dmbarbour	munificent	2011-03-17 09:21
Forum topic	Strict data constructors + non-strict application? Under which conditions would by dmbarbour Effectful computations by dmbarbour Non-strict application by dmbarbour	Neil Toronto	2011-03-16 15:55
Story	Memory Models: A Case for Rethinking Parallel Languages and Hardware, CACM, August 2010 EC? by dmbarbour Scalability of Transactions by dmbarbour	Z-Bo	2011-03-14 05:47
Forum topic	Very Quick Question On "where" vs. "letrec", "letfn", "labels", etc. 'where' is not an expression by dmbarbour	scottmcl	2011-03-12 20:34
Forum topic	Schemas for JSON? Protocol buffers offer by dmbarbour	jbclements	2011-03-12 12:32
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