Lambda the Ultimate

type	title	author	last post
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
Forum topic	InfoQ video + transcript of Rob Pike on Go live programming, dynamic update by dmbarbour how is that different from by dmbarbour What is a large system, by dmbarbour Critiquing language design by dmbarbour Consistency by dmbarbour Zero-overhead Principle by dmbarbour I'm sure there are others. by dmbarbour It Depends on your choice of by dmbarbour Maybe extend the synopsis a by dmbarbour	raould	2011-03-11 00:14
Forum topic	Object capabilities for protecting object slots in prototype-based languages? we don't have proof that the by dmbarbour My experience... by dmbarbour Thoughts on the model by dmbarbour Destructive Reflection by dmbarbour Not Quite Capabilities by dmbarbour	Denis Washington	2011-03-10 02:17
Forum topic	Monads vs. Actors Fairness Axiom by dmbarbour There is no "fairness" in by dmbarbour Actors can be implemented in lambda calculus by dmbarbour abstraction violation by dmbarbour Ridiculous by dmbarbour Strictly speaking, neither by dmbarbour Effect Affect by dmbarbour Not relevant to Gilad's argument by dmbarbour Concurrency was not relevant by dmbarbour E-mail by dmbarbour ...	Sean McDirmid	2011-03-02 21:15
Forum topic	Can contracts provide the features of type classes, bounded quantification and effect systems? Contracts and Auditing by dmbarbour I don't really understand by dmbarbour I'll check out the book, but by dmbarbour Frame Problem by dmbarbour	Jules Jacobs	2011-02-28 20:50
Forum topic	I've run out of programming languages to study At scale... by dmbarbour all you need to do is by dmbarbour Access oriented programming by dmbarbour Powerful assembly instructions by dmbarbour Ocaps won't help you solve a by dmbarbour I like Curl's consistency by dmbarbour Security and Usability by dmbarbour POLA isn't a solution. by dmbarbour There's definitely a lot of by dmbarbour Newspeak by dmbarbour ...	Josh Griggs	2011-02-27 03:20
Forum topic	What is computation? Concurrency versus Turing's Model Component failures are by dmbarbour Simultaneity exists. by dmbarbour Choice vs. Concurrency by dmbarbour In many-core concurrent by dmbarbour Closed Actors System? by dmbarbour Real world of concurrent systems... by dmbarbour	Hewitt	2011-02-22 13:52
Forum topic	What is an Actor? Okay, I'll grant that by dmbarbour Performance by dmbarbour	Hewitt	2011-02-21 02:34
Story	The Semicolon Wars A program may be incorrect by dmbarbour Language Properties by dmbarbour Judging semantics by dmbarbour C isn't a very good example by dmbarbour	James Iry	2011-02-20 15:00
Forum topic	Holistic types If a holistic type A refers by dmbarbour	Igor Serikov	2011-02-01 15:37
Forum topic	Points in the Pattern Matching Design Space Thanks for clarifying that. by dmbarbour Why do you insist on by dmbarbour logic variables and single by dmbarbour I don't remember exactly, by dmbarbour Oz's variables can be by dmbarbour Single assignment variables by dmbarbour What is the similarity? by dmbarbour Single Assignment Variables by dmbarbour Generative Grammars, Term Rewrite Systems by dmbarbour	Jules Jacobs	2011-01-26 21: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