recent posts | Lambda the Ultimate

recent posts

type	title	author	last post
Forum topic	Pascal-P compiler annotated text Is it just that you're by Gavin Harrison Ugly in what way? by James Hague We've come a long way by reinier punkt de	Isaac Gouy	2007-09-30 05:38
Forum topic	STM is which kind of concurrency? OK thanks. by bend Shared state, if you must. by mental	bend	2007-09-26 12:03
Forum topic	OLPC to sell to public I suggest reading the by Ehud Lamm Shipping internationally... by crux TWiT has an interesting by Ehud Lamm No porting by Luke Gorrie More than one week left by Daniel Weinreb US and Canada residents by Ehud Lamm One week left by Ehud Lamm Sweet! by Michael Sloan I'd love to get one but is by doublec It does have WiFi by John Stracke ...	Ehud Lamm	2007-12-06 03:15
Forum topic	[ANN]: Open Quark Framework for Java, version 1.6.1 released	luke	2007-09-24 18:10
Forum topic	Which Journals/Conferences to keep track of? JOT by Rafael Thanks guys! by sciomako JCAAJCRPLEOOO by Marc Hamann PEPM by Charles Stewart PLDI by shaurz AOSD by eeide	sciomako	2007-09-25 03:08
Forum topic	Allowing Unsafe Rules in Datalog? I think in the recursive by mental safety and datalog by VJ Kumar	mental	2007-09-21 02:55
Forum topic	Lambda Calculus: fixed point theorem help Thanks by ilSignorCarlo Makes sense... by Matt Hellige Well, I read the fixed point by ilSignorCarlo Depends on the context... by Matt Hellige What I miss, maybe, is that by ilSignorCarlo Next step by JeffB It is right by Matt Hellige I think it is: YF = ( \f. by ilSignorCarlo Hint by Ronny Wichers Schreur	ilSignorCarlo	2007-09-19 23:09
Forum topic	Decayed Memoization Different cost by Marc Hamann Memory allocation in Maple by Jacques Carette Maple by SamK Yes, AKA Caching by SamK online version by dbfaken Maple has it by Jacques Carette Memoisation as an operational constraint by Roly Perera Another name for... by Marc Hamann	SamK	2007-09-21 02:09
Forum topic	FringeDC Formal Meeting 1PM Saturday Sept 22nd	drcode	2007-09-18 22:44
Forum topic	Uniqueness Types Instead STM This is prone to deadlocks by Tony Finch There seems to be more than by Daniel Slaney They are similar by Daniel Slaney hard real time by e The best transaction system is declarative concurrency by Marc Hamann Yes that kind of approach is by Roly Perera It sounds like you're by mental How about something like by sylvan Consistency by Marc Hamann Thanks! (If you do come by Roly Perera ...	kaveh.shahbazian	2007-10-12 22:59
first page previous page next page last page