Lambda the Ultimate

type	title	author	last post
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
Forum topic	guy steele on how (not) to think of parallel programming if there is going to be major innovation by dmbarbour Responsibility of a Language Architect by dmbarbour a language that could model by dmbarbour Parallelism works well by dmbarbour The difference between by dmbarbour 'Linear N' will in a few by dmbarbour A self-fulfilling prophecy by dmbarbour if you are making sustained by dmbarbour Incremental? by dmbarbour Parallel compilation by dmbarbour ...	Thomas Lord	2011-01-25 05:56
Forum topic	Fast Compilers Manifest typing is axed if by dmbarbour Bridging extreme domains by dmbarbour No. A language can have a by dmbarbour Why use the target language by dmbarbour Re: runtime first by dmbarbour Bootstrap from Interpreter by dmbarbour I've heard of people using RDBMS by dmbarbour Interesting document. I by dmbarbour Sounds architectural, then. by dmbarbour Synch Costs by dmbarbour ...	Ed Earl Ross	2011-01-19 23:50
Forum topic	The AST Typing Problem I've also used this by dmbarbour	shap	2011-01-19 03:15
Forum topic	Quines and my mad mind RepRap by dmbarbour	Ed Earl Ross	2011-01-18 20:40
Story	Scala Team Wins ERC Grant Related by dmbarbour With FRP and staged by dmbarbour	Ehud Lamm	2011-01-18 05:47
Story	Parametric Prediction of Heap Memory Requirements FunLoft by dmbarbour	naasking	2011-01-16 14:45
Forum topic	Memory, Actions and Extensible Syntax Extensible syntax is by dmbarbour	Ed Earl Ross	2011-01-14 20:34
Forum topic	Runtime code generation for partial application? Indeed, it has been a by dmbarbour Content-Centric Networking by dmbarbour But I still don't see why by dmbarbour Semantically, I would say by dmbarbour Please provide even a by dmbarbour In some languages, function by dmbarbour This concept of 'ownership' by dmbarbour Arguments about Terminology by dmbarbour mobile code again? I don't by dmbarbour export in the way Waterken by dmbarbour ...	naasking	2011-01-11 23:19
Story	Stressed by Distributed Programming? Well, CALM Down. Stateless apps by dmbarbour Posting an Item by dmbarbour Nobody uses ACID by dmbarbour Useful by dmbarbour	James Iry	2011-01-10 18:27
Forum topic	Interesting Standard Libraries to Study A standard library by dmbarbour	scottmcl	2011-01-06 17:54
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