recent posts | Lambda the Ultimate

recent posts

type	title	author	last post
Forum topic	Aardappel and visual programming You can't win.. by Wouter C2 wiki discussion by dhopwood improvements by znik improvements by Kevin Lipe Q seems to show otherwise by johnwcowan Oh boy. by tkatchev	Kevin Lipe	2005-08-10 20:44
Forum topic	A question about subtypes inference The only actual constraint at by Philippa Cowderoy Ok I see, But if I'm doin by kilrati No unique candidate by Andreas Rossberg Sigma' is any supertype of si by Philippa Cowderoy What is sigma' by kilrati look at F sub by carter	kilrati	2005-08-10 18:51
Forum topic	Coupling of concepts - good or bad "Real-world entities"? by dhopwood Excellent summary by Andris Birkmanis Common confusion of levels in OO practice by Dave Griffith Well there is a difference be by Hank Thediek Ok, but that's a really small by Daniel Ehrenberg Think about a program to cont by Hank Thediek Real world analogies by Chris Rathman How do you do real world objects? by Daniel Ehrenberg The Imperative Perspective by David B. Held There is a phylosophical side by Hank Thediek ...	Andris Birkmanis	2005-08-09 19:24
Forum topic	Mercury Vs Prolog Hm by tkatchev CPU vs. Other Costs by Paul Snively That's not what I meant. by tkatchev A quick response by Andris Birkmanis Just one quick comment. by tkatchev You are correct that the cut by Ovid Phase Distinction by Paul Snively Not really. by tkatchev Bizarre by Paul Snively Abstract logic programming languages by Derek Elkins ...	NoobProgrammer	2005-08-09 16:11
Story	Causal Nets ok. thanks. by andrew cooke Pearl's causal nets... by neelk haven't looked at the paper y by andrew cooke Shot with a poisoned arrow? by Marcin Tustin And so... by Derek Elkins Expressing it in CT language by Andris Birkmanis	Andris Birkmanis	2005-08-08 21:37
Story	Guarded Induction and Weakly Final Coalgebras in Dependent Type Theory Simple indeed by Andris Birkmanis A less-annoying resumption monad by Dave Menendez Backlink by Andris Birkmanis	Andris Birkmanis	2005-08-08 17:23
Story	Trampolining Architectures Refocusing in Reduction Semantics by Andris Birkmanis Hope that was useful by Andris Birkmanis Trampolining Architectures, STM, and Multi Core Processors. by Peter J. Wasilko Thanks for posting that link, Andris by ned Probably a smoother introduction to trampolines and friends by Andris Birkmanis More in-depth (warning, categories) by Andris Birkmanis Luke? by Andris Birkmanis Pretty close by Andris Birkmanis Bouncy Bouncy by Chris Rathman	Andris Birkmanis	2005-08-08 06:27
Forum topic	A Lisp to JavaScript Compiler in 100 Lines See also: The Little JavaScri by Jed Davis Scoping Issues by Noel What scoping problems? by Sjoerd Visscher Well... by Per Vognsen Neat! Also check out ParenScript by Noel kind of neat but not really lisp by Jeff Cutsinger nothing new to js by Jeff Cutsinger How about Scheme? by Andris Birkmanis Show the generated code by kenhirsch Cool by Sjoerd Visscher	Per Vognsen	2005-08-06 18:54
Story	ACM Queue: Security Problem Solved? Separating arguments by Anton van Straaten "It's the Economy, stupid!" by David B. Held Who said anything about slow? by Anton van Straaten My Experiences by Noel Good News! by Paul Snively Slow software sucks by David B. Held language is difficult by Isaac Gouy Surely not, I was using as we by Michael Walter My point is that there are ap by Michael Walter Maybe by Koray Can ...	Ehud Lamm	2005-08-05 19:31
Forum topic	So what's Right and what is Wrong with the GNU GPL? Thanks by Anton van Straaten	Riaan Moll	2005-08-05 07:39
first page previous page next page last page