recent posts | Lambda the Ultimate

recent posts

type	title	author	last post
Forum topic	Looking for more info on precise types Thanks for the feedback, by Cyril I could say more, but it by dmbarbour Are you implying it seems to by Cyril I don't believe "precise by dmbarbour	Cyril	2012-06-14 19:14
Forum topic	Distributed Transactional Memory Full text by cypof Dead link by kms It would be interesting to by Jules Jacobs Partitioning by cypof Nice by dmbarbour	cypof	2012-12-08 05:40
Forum topic	Eventually consistent distributed STM More info by cypof Is that a response to my question? by Z-Bo Implicit object constraints by Robbert van Dalen Constraints between point objects by cypof Constraints between point objects by Robbert van Dalen Write skew by cypof Write skew by Robbert van Dalen Consistency by cypof STM by cypof Can you explain further? by Z-Bo ...	cypof	2012-12-10 06:15
Forum topic	U, a small model combinators by cyarvin terminology by cyarvin Combinator calculus by Mario B. Terminology by Peter A Jonsson actually, I'm amazed and impressed by cyarvin ok, so looking at it again, by andrew cooke even skimming gets you points! by cyarvin only skimmed it, so no comments by Koray Can good comments by cyarvin the optional implicit parens by andrew cooke ...	cyarvin	2006-02-01 20:37
Forum topic	succinctness It may look the same on the outside... by Burton Samograd Counter hypothesis by James Iry a hypothesis by Dave read it many times by Burton Samograd Unix programming exposed by Charles Stewart shell script by Burton Samograd directness, comfort, completeness by Thomas Lord I agree by nobodysbusiness Expressiveness is a double-edged banana by raould I think that I understand. by nobodysbusiness ...	Curtis W	2008-05-28 19:57
Forum topic	Advantages of Soft Typing Combining type-indexed values using functors by Vesa Karvonen The context is dynamic by Daniel Yokomizo Meaning? by Vesa Karvonen Questioning the Membrane abstraction by Vesa Karvonen Re: Word-arounds by Vesa Karvonen Word-arounds by Andreas Rossberg I see by Matt Hellige Example by Anton van Straaten Does not work by Andreas Rossberg Not quite true, is it? by Matt Hellige ...	Curtis W	2006-08-29 22:21
Forum topic	automatic theorem proving There I Go Again! by Paul Snively Clarification by Andreas Rossberg Right Again :-) by Paul Snively ML is not that impoverished by Andreas Rossberg Oops! by Paul Snively It might be helpful to note by Derek Elkins You're On the Right Track! by Paul Snively ok by Curtis W I'm Sure It Is! by Paul Snively Isn't it very hard to by Kay Schluehr ...	Curtis W	2006-08-09 14:01
Forum topic	The Land of the Terminal Maybe program source should be stored as... by Scott Johnson Careful, assumptions are by Curtis W Typing Was Proceeded By Printing by Jason Dusek Yes, that's mostly what I'm by Curtis W Don't discard the current "look and feel," expand on it by James W Hofmann 1. What we call "text" is by Curtis W The use of trees in PLs and logic by Anton van Straaten summation by Curtis W not exactly by Curtis W A couple of thoughts by Scott Johnson ...	Curtis W	2008-01-11 00:03
Forum topic	Countering Trusting Trust through Diverse Double-Compiling More data on www.dwheeler.com by dwheeler You can make it work by dwheeler Interpreters by dwheeler Non-determinism: You're confusing the issue by dwheeler Why not use the "Trusted" compiler? by dwheeler ... but can be made to work by Ronny Wichers Schreur Fails on many platforms by Henry Miller I thought this was solved... by Bryan Turner Also being discussed here. by Ehud Lamm Solving an old problem just in time to be outdated by Dave Griffith ...	Curt Sampson	2005-12-28 22:50
Forum topic	Stephen Wolfram forecasts the future For the paranoid, the by Brooks Moses Thanks for that....... by estrabd I learned cellular automata by Kragen Sitaker I read all of it, too. His by estrabd Re: explanation? by Jeff Nowakowski Maybe it means that people by Fred LeMaster explanation? by shahbaz Here are some little less by Kay Schluehr urg by jimdesu	Curt Sampson	2006-12-03 04:23
first page previous page next page last page