recent posts | Lambda the Ultimate

recent posts

type	title	author	last post
Story	Linear Logical Algorithms One possible reason by Andrew Moss If by efficiency, you mean termination by Rob Simmons Deletion is needed for efficiency by neelk A fact is by johnwcowan Facts tend to be conditional... by Paul Snively Why delete facts? Is it the by naasking	neelk	2008-05-21 13:33
Forum topic	Generic types Thanks by James Iry C# uses partial by naasking What happens when you by Denis Bredelet -jido Templates or Boxing or Tagged References by James Iry	Denis Bredelet -jido	2008-05-20 16:56
Story	The irreducible physicality of security properties The irreducible physicality of correctness by MarkM R&R and R&W and AAR&R by Charles Stewart Security is an answer, not a question by shap Security is of importance by Alex He Didn't mean to put you on by naasking Ok, ok... by David Teller However, I think there's a by naasking Right, I agree with your by Matt M Yes, I think you nailed it by naasking It seems to me the actual by Matt M ...	Charles Stewart	2008-05-18 14:42
Story	Arrows generalise monads and idioms A little more than syntax by Ross Paterson Two counter clarifications by Charles Stewart Constructors and laws by Jeremy Thanks for the interest in by Sam Lindley interesting observation by ninegua And monotremes are oviparous by johnwcowan	Charles Stewart	2008-05-18 12:34
Story	Automatic Generation of Peephole Superoptimizers Cost of optimization is very important. by Leon P Smith Depends on how lucky you feel by Andrew Moss Guess by Burton Samograd Diminishing Returns by Andrew Moss SPEC by DGentry Nope, just a fixed-size window by Pseudonym They probably rely on back-tracking code rewriting. by sfalvo	neelk	2008-05-17 07:58
Forum topic	Hardwired polymorphism Good idea by Denis Bredelet -jido Psyco by Vilya Harvey Self Docs by odanet Thanks, it is indeed by Denis Bredelet -jido Method Specialization? by Kevin Greer	Denis Bredelet -jido	2008-05-16 23:07
Forum topic	service course in logic and logic programming: crazy? Problem w Prolog by snedunuri This does look interesting. by jlasseter I was referring to this by Ehud Lamm DSLs and frustration by jlasseter Cultural Shift by Philippa Cowderoy DSLs and frustration by Ehud Lamm Wish I could attend by raould The truth table is dead; long live the truth table by Chung-chieh Shan	jlasseter	2008-05-16 03:46
Story	Logical Algorithms Yep! by neelk Yep by Paul Snively Deletion of facts from the database by herrmann Forward search against real time by johnwcowan	neelk	2008-05-15 22:53
Forum topic	EOPL3 It's shipping! by namin	Ehud Lamm	2008-05-15 04:57
Forum topic	OO via first class enviroments: Bla Perhaps both should be allowed??? by Scott Johnson Scoping by Chris Rathman I like the 'where' style by orbitz Thanks by renox	raould	2008-05-13 16:46
first page previous page next page last page