Lambda the Ultimate

type	title	author	last post
Story	Rob Pike: Public Static Void Conceptual distance by shap I think you mean "rime" by shap	Ehud Lamm	2011-07-10 18:36
Story	Specification and Verification: The Spec# Experience No mention of Singularity or Midori by shap	Allan McInnes	2011-06-10 04:46
Forum topic	What is a "fully featured closure"? Request for comments. To go one step further afield... by shap	Pavel Minaev	2011-04-10 18:34
Forum topic	What to do about comments? This is doable by shap Comments are non-syntactic by shap	markt	2011-03-14 18:54
Forum topic	The AST Typing Problem Perhaps so... by shap Possible solution by shap Indirection really not good here by shap Not sure how this helps by shap Yes, really cyclic... by shap This isn't simple by shap subtyping, nullification by shap	shap	2011-01-19 03:15
Forum topic	Multiple Value Return - Common Lisp vs. Tuples and destructuring Not preemption-safe by shap	scottmcl	2011-01-15 09:49
Story	Haskell Researchers Announce Discovery of Industry Programmer Who Gives a Shit Is that scatological with a by shap Mildly sic by shap	Ehud Lamm	2010-12-29 19:26
Forum topic	The Myths of Object-Orientation A bit off the topic by shap Terms and assumptions by shap Archival copy of To Accessor or Not To Accessor by shap	el-vadimo	2010-12-21 17:28
Story	program verification: the very idea AAMP7 by shap	el-vadimo	2010-12-17 18:21
Forum topic	Babel-17 v0.2 spec is out Not just tradition by shap Argument passing by shap	Steven Obua	2010-12-11 00:22
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
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