recent posts | Lambda the Ultimate

recent posts

type	title	author	last post
Forum topic	Erlang vs C++ for Robust Telecom Software Also Distributed Haskell? by Brandon Moore	Isaac Gouy	2006-12-08 02:11
Forum topic	Why type systems are interesting - part II Power = Rope = Ability to by Philippa Cowderoy Peple break rules that no by atbusbook Dynamic type systems by atbusbook Dynamic type systems by atbusbook Implicit Configurations by Greg Buchholz Re: Even number type by Oleg Double-colon barrier by Oleg Even Number Type by Greg Buchholz I Was Speaking With Tongue Firmly in Cheek... by Paul Snively Nonsense! by Scott Johnson ...	Ehud Lamm	2006-12-08 01:38
Forum topic	Request for feedback: hobbyist post on "the significance of the meta-circular interpreter." Mu: the lost runtime by Rys McCusker Upside down programming by Kay Schluehr Thanks! by raganwald runtime kernels by Rys McCusker partial evaluation by raganwald Partial Evaluation by Daniel Slaney A fixed point by sigfpe The idea of defining a by neelk	raganwald	2006-12-07 22:33
Story	Interesting project to modularize Squeak Interesting JSR to modularize Java by Isaac Gouy deployment images by Isaac Gouy No, Dolphin is a windows by jbjohns stripping from dolphin smalltalk by Rys McCusker re: modularization is good by jbjohns modularization is good by Rys McCusker Squeak people by Luke Gorrie	Ehud Lamm	2006-12-07 19:40
Story	Back to the Future WarpBlt by quamaretto a great, great paper by James Hague	Luke Gorrie	2006-12-07 17:47
Story	Linear types for aliased resources And what we actually get is by Philippa Cowderoy More conventionally (at by Philippa Cowderoy Process variables, not names. by Achilleas Margaritis Now, consider that you can't by Achilleas Margaritis On another note, aren't by Koray Can Referential Transparency by dbfaken Bad example by David B. Held As I understand it the whole by Felicia Li Svilling Not quite as simple as that by David B. Held Design by Contract? by Allan McInnes ...	Ehud Lamm	2006-12-07 16:10
Forum topic	"Folding"/FP traversal over trees mapReduce by dbfaken "Strategic Programming"? by Doug Landauer TBD by Paul Snively separation of control, structural recursion vs. loops vs. HOFs by dbfaken Zippers in C++? by dbfaken Phoenix V2 by dbfaken If you want to control the by neelk conditions should be composable by JamesLitsios Sounds Like Oleg Again by Paul Snively iterators by peter steiner	dbfaken	2006-12-07 14:53
Forum topic	C++ has indeed become too "expert friendly" No by Dave Griffith Escaping analysis by Niki Estner Skill only gets you so far by Dave Griffith In computer programming, by sean Developer skill by Dave Griffith Actually... by Achilleas Margaritis Mh... by Andreas Rossberg 'Func' is an object with a member 'n'. by Achilleas Margaritis That's what I originally said. by Achilleas Margaritis Options by Andreas Rossberg ...	Isaac Gouy	2006-12-07 14:01
Story	Why Lisp is Different	Ehud Lamm	2006-12-07 12:15
Forum topic	Languages with first order types and partial evaluation Dependent Types in Aldor? by Jim Apple Aldor by Vilya Harvey	Kay Schluehr	2006-12-07 01:07
first page previous page next page last page