recent posts | Lambda the Ultimate

recent posts

type	title	author	last post
Forum topic	The Cat Programming Language Autogenerated code by Bárður Árantsson No, I meant real-life examples. by Achilleas Margaritis I gave you one by cdiggins Such as? by Achilleas Margaritis Other optimisations may well by Philippa Cowderoy Actually... by Achilleas Margaritis Optimization opportunities and type systems by cdiggins Even more questions. by Achilleas Margaritis Optimization Scenarios and Typechecking by cdiggins Map map by Steven Hugg ...	cdiggins	2006-05-18 16:17
Story	Library-Centric Software Design LCSD'06	Ehud Lamm	2006-05-18 15:31
Forum topic	The Problem With Threads occam by Allan McInnes Monotonicity by Andris Birkmanis Ada by Ehud Lamm Rendevous-based message passing also broken? by MarkM You might look at polyglot by mdgeorge Some thoughts on this from Linus Torvalds by Sam Vilain Actually... by Allan McInnes Threads without shared state are processes by johnwcowan Concurrency is hard by Ehud Lamm Maybe sketches by Andris Birkmanis ...	Allan McInnes	2006-05-18 15:01
Story	Transactional Memory with data invariants (draft sequel to the STM-Haskell paper) Moved by Neil Madden Heroic efforts in C by genneth Yes by Paul Snively Leaving side-effects at the programmer's whim by michael-fig This paper comes after CMT by Josef Svenningsson Chronology by Charles Stewart I know I want more STM in my applications by genneth	shapr	2006-05-17 12:42
Forum topic	Lambda the Ultimate Set Comprehension Comprehensive Mathematics for Computer Scientists by shahbaz I made the same mistake, and by neelk My side by sigfpe The point that monadic logic by Hank Thediek just seen this reply. by andrew cooke Break out the hobby horse by Marc Hamann Functions as applications by vc About NBG by Aatu Koskensilta Don't skip class! by Hank Thediek About NBG by vc ...	xyzzy	2006-05-17 06:05
Story	Jumbo Lambda Calculus Functions in jumbo lambda-calculus by steck Whoops... by Matt Hellige First Link by Aaron Mayerson	Matt Hellige	2006-05-16 00:54
Story	The case for Semantic Analysis Erlang++? by raould consent by Eric Brown Off the top of my head... by Dave Griffith Nemerle by Mike Hearn C? by Steven Hugg Compile-time contracts by Allan McInnes Contracts would narrow it down... by Chris Rathman silence by Koray Can Contracts by Allan McInnes	Chris Rathman	2006-05-15 19:59
Story	MathLang big ideas by Marcin Stefaniak Very different by Jacques Carette Comapre by Ehud Lamm How is J in the bounds specified? by Jim Apple J is great but... by sigfpe Why not J? by James Hague	Jim Apple	2006-05-14 11:00
Forum topic	Cyclone 1.0 released. "Memory Safety Without Runtime Checks or Garbage Collection" by Mike Hearn It's been a while since I by Ulrich Hobelmann I'm not a member of the by Jeff Cutsinger Performance by Abdulaziz Ghuloum	Greg Morrisett	2006-05-13 20:57
Forum topic	LINQ May 2006 Preview Invention vs. innovation by Anton van Straaten "it is new for a mainstream programming platform" by Isaac Gouy Comega by Brandon Moore The question was posed... by Chris Rathman What novel ideas does LINQ bring? by Qrczak	Isaac Gouy	2006-05-13 19:55
first page previous page next page last page