recent posts | Lambda the Ultimate

recent posts

type	title	author	last post
Story	CERT C Secure Coding Standard Hi Lars, All these issues by Ehud Lamm How ugly is ugly by Lars Oppermann To JVM by Charles Stewart I asked it that way because by taj I'd build my own by Ben L. Titzer General applications by James Iry The reason I mentioned Java by Ehud Lamm The predominant use of Java by Lars Oppermann To Java... by Ehud Lamm Depends on the domain by Dave Griffith ...	Ehud Lamm	2008-03-31 17:49
Forum topic	Algebraist Network Or even... by Charles Stewart The usual way of by neelk Perhaps... by Paul Snively Bart Jacobs by Derek Elkins dependent types are bad by billpage Prototype implementation of a modified type system for Aldor by billpage Should 3+4 = 7? by Watt Papers by Erik Poll and Simon Thompson by billpage Yes and no by Jacques Carette simplification of types by billpage ...	billpage	2008-03-31 12:21
Forum topic	Excel as a different programming paradigm I guess its how you define by Sean McDirmid top by lmeyerov What of cycles? by Scott Johnson But does it? Depends on how by shaurz I dealt with this issue in by Sean McDirmid Excel's cells are streams by Peter Van Roy bias by e How is changing the value of a cell... by Scott Johnson Excel's execution model by Peter Van Roy I'm assuming you refer to by Scott Johnson ...	raould	2008-03-29 20:14
Story	When Are Two Algorithms the Same? Program equivalence is hard by Srikumar Subramanian I think fundamentally there by jhendrix Has anyone read this book: by markt Proof of the Church-Turing(ASM) thesis by Hank Thediek shouldn't be that hard by Thomas Lord Standard philosophy trick by Chad Wellington What is an algorithm, anyway? by Scott Johnson	Ehud Lamm	2008-03-29 14:16
Forum topic	Teaching oneself Abstract Interpretation ? Patrick Cousot gave a course by adrieng We linked to many useful by Ehud Lamm read the papers by cousot by carter	David Teller	2008-03-29 09:16
Forum topic	too much indentation solution? I'd just like to second this by John Nowak This is one of the issues by Ehud Lamm Reddit's continuations by naasking Suggestion: Click title to open a new page by Denis Bredelet -jido Visual hints and chaining by Mattias Engdeg	raould	2008-03-28 20:54
Forum topic	Constraint Imperative Programming Anyone care to comment? I by Ehud Lamm	Winheim Raulsh	2008-03-27 22:06
Forum topic	CFP: ALTA 2008 (Architectures and Languages for Throughput Applications)	jbfryman	2008-03-27 17:19
Forum topic	Rhope a dataflow-based language Server was down by Michael Pavone Couldn't use the link as by rossjudson Re: Rhope not Rhode by Denis Bredelet -jido Rhope not Rhode by cdiggins Funny You Should Mention That by Michael Pavone	Denis Bredelet -jido	2008-03-27 02:24
Forum topic	Relational rather than hierarchical OO packaging? Eiffel does that sort of thing... by Scott Johnson Visual Age by raould Or not use files at all by Gavin Mendel-Gleason You can do that, albeit by Denis Bredelet -jido Friend in C++ by Scott Johnson Use case? by raould Hierarchies... by Scott Johnson Traits by naasking b) do something silly like by Denis Bredelet -jido Packages by Ehud Lamm ...	raould	2008-03-26 22:03
first page previous page next page last page