Lambda the Ultimate

type	title	author	last post
Forum topic	A Self-Checking Type System Yes and no... by shap	munificent	2010-11-24 02:36
Forum topic	Why are objects so unintuitive? Not always a good thing. by shap Alternatively.... by shap	Lee Chou	2010-11-19 19:07
Forum topic	Closures without function pointers Perhaps I am missing something obvious by shap True, but may not be relevant by shap	Alex Rubinsteyn	2010-11-17 21:12
Forum topic	Design Principles Behind Smalltalk Several experiments by shap Also improve Unicode support by shap Trickier than it looks by shap They've had it by shap Small correction by shap	el-vadimo	2010-11-09 17:15
Forum topic	The barrier to take-up of language innovation Well said! by shap Thanks for the suggestions by shap I agree, but anecdotally... by shap Thankfully so! by shap	ad1mt	2010-11-06 03:26
Forum topic	Looking for pointers: mixfix error recovery That's not an error recovery issue by shap	shap	2010-10-24 03:09
Forum topic	Mildly Extended MixFix Tools these days by shap Don't think I did that by shap Can you point me by shap It's what Jonathan Bachrach wrote by shap Talking past each other by shap Manuel: I'm aware that by shap One example not trend by shap Still regular declarations... by shap Implicit cast ++ungood by shap Not a big deal - which is the point by shap	shap	2010-09-23 02:15
Forum topic	Overlapping Instances + Functional Dependencies Unsound? Int cast to Bool by shap	shap	2010-08-08 15:11
Forum topic	The Rust Language Minor corrections re: BitC by shap Quick response by shap Two kinds of fools... by shap	Noel	2010-07-27 23:17
Forum topic	Means to Limit or Constrain Side Effects Type system support by shap Depends on Goals by shap Concerning transients by shap I'm also puzzled about this. by shap Three Possible Paths by shap Issue is sub-arrays by shap	scottmcl	2010-05-14 20:26
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
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