Lambda the Ultimate

type	title	author	last post
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
Forum topic	functional equivalance? RE: Quick Explanation by dmbarbour Though distributed systems by dmbarbour Related by dmbarbour	raould	2010-03-17 18:59
Forum topic	a "thank you" to You a fair bit at sea... by dmbarbour	raould	2010-03-16 09:09
Forum topic	Alternative method for defining statically typed variables That looks painful... by dmbarbour	Josh-Meredith	2010-03-09 14:56
Forum topic	large-scale programming systems inspired by ecological and market systems Redundancy and Feedback by dmbarbour Is there any reason to by dmbarbour Service Markets by dmbarbour	Ray Dillinger	2010-03-07 07:13
Forum topic	Tony Hoare / Historically Bad Ideas: "Null References: The Billion Dollar Mistake" Dumb compilers that can follow suggestions by dmbarbour it's even preferable that it by dmbarbour That also seems to imply by dmbarbour The list above is to make it by dmbarbour It is my impression that the by dmbarbour You're confusing abstractions... by dmbarbour Two mistakes by dmbarbour Forgive my ignorance but... by dmbarbour	raould	2010-03-05 22:19
Story	Can a Biologist Fix a Radio? Before the flames begin,let by dmbarbour	James Iry	2010-03-04 03:17
Story	Joe-E: A Security-Oriented Subset of Java Taming the Libraries by dmbarbour Decompiler by dmbarbour	Ehud Lamm	2010-03-02 01:35
Forum topic	Testing release of a platform for hosting pure functional web applications Should we be able to share a by dmbarbour Forms Example by dmbarbour Mashups by dmbarbour Isolation is the Exception by dmbarbour So I shouldn't be able to by dmbarbour Any command that the user by dmbarbour It isn't separate by dmbarbour Who says we want to be rid by dmbarbour The relevant question is: if by dmbarbour No, asking for the OS to by dmbarbour ...	Adam Chlipala	2010-02-26 23:30
Forum topic	What data sets would tell you the most about what sort of programming language to design? You keep reading by dmbarbour Progress by dmbarbour Too broad and vague? by dmbarbour You shouldn't presume that by dmbarbour Design Patterns or Implementation Patterns? by dmbarbour Semantics-based Code Search / Service Search by dmbarbour [format] Z-bo by dmbarbour Upgrade patterns, too, by dmbarbour	Z-Bo	2010-02-20 20:59
Story	A Lambda Calculus for Real Analysis Neat. by dmbarbour	Paul Snively	2010-02-18 00:25
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