Lambda the Ultimate

type	title	author	last post
Forum topic	On constness If a data structure is more by naasking Which reminds me of a COW by naasking It seems possible to derive by naasking	Talin	2014-10-13 20:58
Story	Open thread: RIP Steve Jobs This is getting a little by naasking You keep asserting this and by naasking It doesn't matter what by naasking As far as I can tell, by naasking My car's breaking system has by naasking	Ehud Lamm	2014-10-05 00:19
Forum topic	Experiment Anything involving memory by naasking Tarjan's union-find is not the best by naasking No one in this thread by naasking I thought it was common by naasking You must have a short memory by naasking And part of the answer is by naasking As long as we keep by naasking I think relational databases by naasking	Ehud Lamm	2014-10-01 17:10
Forum topic	A StackExchange Site for Programming Language Theory I'm sure you have, since it by naasking	aaditmshah	2014-09-27 15:30
Story	Breaking the Complexity Barrier of Pure Functional Programs with Impure Data Structures	naasking	2014-09-24 06:16
Forum topic	Automatically Deriving Mutable Data Structures? Breaking the Complexity Barrier by naasking It's not possible to do this by naasking	naasking	2014-09-22 14:11
Forum topic	Optimisation by repeated beta- and eta-reduction Pointer size wouldn't matter by naasking	L Spice	2014-09-22 01:00
Forum topic	Who Needs Garbage Collection? Since you mentioned Ada's by naasking Did you ever implement this? by naasking Yes, the dynamic semantics by naasking I don't see anything in by naasking I guess you can call it by naasking Sounds a bit like Baker's by naasking The owner handle is not by naasking This is not region based by naasking	Keean Schupke	2014-09-20 06:41
Story	An operational and axiomatic semantics for non-determinism and sequence points in C Your like to my comment by naasking	gasche	2014-09-14 10:02
Forum topic	Patent on "safe" transitive immutability for object types — prior art? BitC by naasking	Blaisorblade	2014-09-11 18:18
Forum topic	Languages without operator precedence I'm wondering about the by naasking	Douglas McClean	2014-09-10 20:40
Forum topic	Program in a program A more authoritative link, by naasking	Victor Eijkhout	2014-09-02 12:43
Story	Apple Introduces Swift Reference counting is about by naasking	bashyal	2014-08-21 17:54
Story	Dynamic Region Inference Advantages unclear, separate union-find pass unnecessary? by naasking	naasking	2014-08-12 16:12
Forum topic	Reactive Programming If I understand correctly, by naasking What's the semantics of your by naasking I tend to disfavor 'ordered by naasking Channel is a rather by naasking (i.e. what do you report for by naasking I think the approach I just by naasking Thanks for the suggestions by naasking I believe Functional by naasking Glitches in FrTime by naasking Exceptions in signal networks by naasking ...	J Storrs Hall	2014-08-06 03:32
Forum topic	Do Logic Languages Need Negation? From the paper I linked to by naasking Functional logic languages by naasking Why would you want to extend by naasking Your description of handling by naasking	Keean Schupke	2014-07-22 17:47
Forum topic	What's in a name? But symbolic reasoning as a by naasking A hash value is close in by naasking	Sean McDirmid	2014-07-22 03:28
Forum topic	request for namespace binding service terminology Are you sure you meant, by naasking Sure, a client can still by naasking Since folks have been by naasking In a closed system where you by naasking Simple read/write by naasking Sure, I use SQL all the time by naasking I view data as mobile, while by naasking	Rys McCusker	2014-07-21 19:12
Forum topic	Removing User Interface Complexity, or Why React is Awesome There is some support for by naasking Thanks, that's helpful! by naasking Can't find a description of by naasking This doesn't look like by naasking	Sean McDirmid	2014-05-23 15:12
Forum topic	type theory about programming language? On the other hand, the by naasking One thing I fail to by naasking I think there is some by naasking What is math? by naasking I feel this mischaracterizes the problems of induction by naasking but Haskell is a full on by naasking Reality is continuous, and by naasking Sounds like a weak argument by naasking it's a big deal in logic by naasking I think you're missing the by naasking ...	Rys McCusker	2014-05-21 23:10
Forum topic	Sectioning a chain of operators and dot as reverse application I've seen several languages by naasking	Matt M	2014-05-12 18:17
Forum topic	Value-level programming It'll break compositionality by naasking In a static type system by naasking	Vladimir Slepnev	2014-05-08 19:51
Forum topic	The Avail programming language Introspection sort, by naasking They certainly have an by naasking Only two mentions of by naasking	Robbert van Dalen	2014-05-05 13:23
Forum topic	Giant list of visual PLs I think visual programming by naasking	Manuel J. Simoni	2014-05-02 16:09
Forum topic	Inquiry into the nature of software complexity. I'm responding to the topic by naasking There's two margins to by naasking For another, those companies by naasking The market is flooded with by naasking If you get one that wants to by naasking	bryanedds	2014-04-24 20:30
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