Lambda the Ultimate

type	title	author	last post
Story	The Structure of Authority: Why security is not a separable concern Increasing interaction by shap since it's a KeyKOS by shap	naasking	2010-05-07 21:39
Forum topic	SEC interested in formalising contracts ... in Python Semantics of Designation by shap two sigmas above the norm by shap Irritate away, as you like by shap The investment is huge by shap The Great is the Enemy of the Good by shap	Noel	2010-05-06 12:56
Forum topic	Typed Lambda Calculus Litmus test by shap	marcosag	2010-05-05 21:11
Forum topic	Capability-based security; how does it work? Code == Data, but Code => Behavior by shap Don't agree by shap Don't agree by shap Very well put by shap Various responses by shap Ouch. by shap The Enforcement Myth by shap Not quite least authority by shap But you need to be careful: by shap With due respect to by shap ...	Ray Dillinger	2010-05-01 19:23
Forum topic	How can C Programs be so Reliable? Having done this... by shap Good idea, weak execution by shap Quick response by shap That's an example by shap See my reply below by shap The business policy by shap I think you misread me by shap Two answers by shap Nobody has really tried by shap Claimed, but not substantiated by shap ...	Manuel J. Simoni	2010-04-23 11:54
Forum topic	Specifying Solvers?	shap	2010-04-15 14:08
Forum topic	Higher order functions vs. function arity and calling conventions High-level vs. Low-level calling conventions by shap	scottmcl	2010-04-12 17:08
Forum topic	Tcl the Misunderstood Theory of Language Affinity by shap	namin	2010-04-09 02:54
Story	Objects to Unify Type Classes and GADTs Thanks... by shap Curious subtleties by shap	naasking	2010-03-26 20:36
Forum topic	Advantages of Purity Position paper by shap (noalloc e) is not discretionary by shap Proctoscoping the Bottom Line by shap This is a failure of the current spec by shap Purity and Effects by shap Pure in BitC by shap	giuseppemag	2010-03-24 17:11
Forum topic	BitC is back Small nit by shap Unfortunately, this may be slightly premature. by shap	Noel	2010-03-23 00:25
Story	Richard Hamming - "You and Your Research" Also inspirational in person by shap	shapr	2010-03-19 20:20
Forum topic	a "thank you" to You No, no. Ignorance is BLISS. by shap	raould	2010-03-16 09:09
Forum topic	Tony Hoare / Historically Bad Ideas: "Null References: The Billion Dollar Mistake" Okay. That makes sense now. by shap Pure initializers! by shap Opt still works by shap Actually this proof is not by shap Perspective by shap	raould	2010-03-05 22:19
Forum topic	Information regarding financial crisis Not the root by shap	Ehud Lamm	2010-02-12 16:39
Story	No more tail calls in Javascript? A middle position by shap	Noel	2009-12-23 08:32
Forum topic	The Meta-LtU Thread Definition of Theory by shap I don't get really worried... by shap This misses the point by shap Not Only Research by shap	Leon P Smith	2009-06-14 13:43
Story	Closures for C A problem with VCODE -- bad by shap Check the exokernel tree by shap	Charles Stewart	2009-06-09 01:07
Story	Code Reading Concur - consider OS code by shap That hurts by shap Duff's device v. Safe Languages by shap	Ehud Lamm	2009-06-04 14:52
Forum topic	Social science research about programming language adoption? Reflective, just not about economics by shap	Tim Chevalier	2009-06-02 15:05
Forum topic	the Chinese natual language Chinese not like LISP by shap	Zhu Chongkai	2009-06-01 13:06
Forum topic	C++ Frequently Questioned Answers See also PL.8 by shap	Srikumar Subramanian	2009-05-19 00:40
Forum topic	Static typing may require runtime type checking? So what should we call this by shap In a sense, it is. by shap	sidhu	2009-05-06 15:18
Story	Purpose-Built Languages Languages also evolve by replacement by shap	Allan McInnes	2009-05-05 15:21
Forum topic	Writing an interpreter, targeting a VM or writing from scratch? It might be worthwhile to look at TinyScheme by shap	Johan Tibell	2009-04-28 20:09
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