Lambda the Ultimate

type	title	author	last post
Forum topic	How important is language support for namespace management? Namespaces and Mobility and Security :) by dmbarbour Namespaces and Mobility by dmbarbour Backtracking Parsers by dmbarbour Import Controls by dmbarbour Fully qualified names by dmbarbour Naming conflicts are still possible by dmbarbour Import/Export Controls by dmbarbour Not so orthogonal by dmbarbour Discoverability, Language by dmbarbour Flat Namespace by dmbarbour	Manuel J. Simoni	2010-07-12 18:33
Forum topic	Uncle Bob's talk at RailsConf 2010 Oh. I apologize for that by dmbarbour The most important expressiveness issue of our time by dmbarbour	Marc Hamann	2010-07-07 20:43
Story	An intuitionistic logic that proves Markov's principle Markov's principle in essence by dmbarbour Not Trivial in Intuitionist logics by dmbarbour Thanks for that insight. by dmbarbour Really? by dmbarbour Thanks by dmbarbour	neelk	2010-07-07 08:23
Forum topic	Simulation language ideas? Some References by dmbarbour	James W Hofmann	2010-07-05 22:33
Story	Compiling Structural Types on the JVM Re: Interface Injection by dmbarbour	James Iry	2010-07-02 05:05
Forum topic	A lambda calculus with arbitrary set primitives Just Do It by dmbarbour Term Rewriting by dmbarbour Express vs. Do by dmbarbour Axiom schema of specification by dmbarbour	Neil Toronto	2010-07-01 12:56
Story	Intel Concurrent Collections for Haskell Doubt it... by dmbarbour CnC is for Parallelism (despite name) by dmbarbour	Ehud Lamm	2010-06-28 22:01
Forum topic	A Theory of Typed Hygienic Macros Thanks. That's ten times by dmbarbour I look forward to reading a by dmbarbour	Jacques Carette	2010-06-20 22:13
Story	More iPhone PL lockdown... Goodbye Scratch! O(10^2)=O(1) by dmbarbour	Matt Hellige	2010-06-18 14:34
Forum topic	plt vs. something else for programming in the large? RE: Other Useful Models by dmbarbour Re: Reductionism by dmbarbour The fundamental task of by dmbarbour RE: Fundamental Models by dmbarbour Re: Meaty by dmbarbour RE: Fundamental Mathematical Abstraction by dmbarbour Hand-waving -> Biology -> Chemistry -> Physics -> Mathematics by dmbarbour RE: Overturning Models by dmbarbour RE: But you can model that on a UTM! by dmbarbour RE: Principles by dmbarbour ...	raould	2010-06-17 01:07
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
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