Lambda the Ultimate

type	title	author	last post
Story	Racket Released I begin to by dmbarbour Does Not Compute by dmbarbour Clojure is an invention of Man by dmbarbour	Noel	2010-06-16 12:39
Forum topic	Interpreter to compiler generator? Tagless Staged Interpreters by dmbarbour	pdf23ds	2010-06-12 15:53
Story	Adding Type Constructor Parameterization to Java Which resulting theorems? by dmbarbour Vacuous Parametricity by dmbarbour	Manuel J. Simoni	2010-06-08 21:53
Forum topic	A Brief, Incomplete, and Mostly Wrong History of Programming Languages Repost! by dmbarbour	David J Bailey	2010-06-05 03:26
Forum topic	Alan Kay's 70th Evaluation Actions? by dmbarbour Kayia Comments by dmbarbour Kayia by dmbarbour Site Organization by dmbarbour Incremental Leaping indistinguishable from excited Walking by dmbarbour Models and Revolutions by dmbarbour Big Ideas and Broad Strokes by dmbarbour	Z-Bo	2010-05-31 21:19
Forum topic	A solution to the catcall problem in Eiffel RE: Inheritance can be useful without subtyping by dmbarbour Mutable Collections by dmbarbour	hbrandl	2010-05-23 13:15
Forum topic	The Glasgow Haskell Compiler and LLVM Hidden Process by dmbarbour	hannes	2010-05-23 11:05
Story	The War on Spam Really? by dmbarbour No Index by dmbarbour	Ehud Lamm	2010-05-19 08:51
Forum topic	Means to Limit or Constrain Side Effects Optimizations and Models by dmbarbour Substructural Optimization by dmbarbour Mutable Initialization by dmbarbour	scottmcl	2010-05-14 20:26
Story	Iterators Must Go Preference by dmbarbour Invalidation... by dmbarbour	Manuel J. Simoni	2010-05-13 02:59
Forum topic	Strange function For prior art, I would by dmbarbour Aliasing by dmbarbour Off Topic by dmbarbour	giuseppemag	2010-05-12 16:19
Forum topic	Computing complexity It depends by dmbarbour	giuseppemag	2010-05-11 20:38
Forum topic	Universal Temporal Concurrent Constraint Programming FRP plus Parameterized Demand by dmbarbour	dmbarbour	2010-05-08 17:17
Story	The Structure of Authority: Why security is not a separable concern resource accounting and SoA by dmbarbour Security is about Risk Management, not Expectations Management by dmbarbour Wireless Phones, Foreign Phones, Red Phones, Green Phones by dmbarbour Physical Security by dmbarbour Liveness is a Security Property by dmbarbour	naasking	2010-05-07 21:39
Forum topic	Capability-based security; how does it work? Distinguishing Transmission of Data and Authority by dmbarbour Interpretation of data is behavior. by dmbarbour Suspicious Collaborators also Shun Confinement by dmbarbour Confinement is a crutch. by dmbarbour Encapsulation vs. Confinement in App Models by dmbarbour already walkin' by dmbarbour Distributed Systems Security without a TCB by dmbarbour Re: OS-based capability systems by dmbarbour Identity of the Malefactor by dmbarbour 128-bit numbers are guessable 1/2^128 of the time by dmbarbour ...	Ray Dillinger	2010-05-01 19:23
Forum topic	How can C Programs be so Reliable? High Confidence OS by dmbarbour More than this... by dmbarbour Optimize HOF Type Syntax for the Default Case by dmbarbour Inference of Exception Types by dmbarbour Language influence on Hardware by dmbarbour Monadic exception handling... by dmbarbour Singularity OS is the sort by dmbarbour Sensible handling of failure by dmbarbour Higher Level Code and Failure Modes by dmbarbour Error Recovery by dmbarbour ...	Manuel J. Simoni	2010-04-23 11:54
Forum topic	Visual programming for movies, games Programming Paradigms for Artistic Works by dmbarbour Clearly, such artistic works can't be formalized... by dmbarbour	raould	2010-04-21 11:53
Story	Can functional programming be liberated from the von Neumann paradigm? Just to be clear by dmbarbour	Charles Stewart	2010-04-14 20:25
Story	Code Bubbles That - CodeBubbles - is a by dmbarbour	Z-Bo	2010-04-06 17:51
Story	Tagless Staged Interpreters for Simpler Typed Languages One would think different by dmbarbour New Link by dmbarbour	Ehud Lamm	2010-04-06 00:28
Story	Vacation Only if others adopt it. :-) by dmbarbour Ah. How embarrassing. Still, by dmbarbour WWEI by dmbarbour	Ehud Lamm	2010-04-03 20:48
Forum topic	Will data-intensive computing revolutionize programming languages? Match-makers under the hood. by dmbarbour Job of Linkers in context of Distributed Data and Services by dmbarbour A trillion times faster... by dmbarbour Issues more Algorithmic than Mechanical by dmbarbour Distributed Data Fusion, Command and Control by dmbarbour	Peter Van Roy	2010-03-30 16:54
Forum topic	Advantages of Purity RE: Purity and Security by dmbarbour Effect Subtyping by dmbarbour Problem? by dmbarbour Short-circuiting by dmbarbour exceptions in pure by dmbarbour Oh, there seems to be a by dmbarbour I would consider the example by dmbarbour Partial Annotations by dmbarbour Prior discussions by dmbarbour Premature Generalization? by dmbarbour ...	giuseppemag	2010-03-24 17:11
Forum topic	Effectful Code Transformations Analysis is Insufficient by dmbarbour Hardly a comprehensive list by dmbarbour Code Transformations for Effectful Code by dmbarbour	Ohad Kammar	2010-03-23 05:25
Forum topic	Types vs classes: what is the difference? What program properties by dmbarbour	caustic	2010-03-18 19:39
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