recent posts | Lambda the Ultimate

recent posts

type	title	author	last post
Story	Almost everything happened in the Golden Age, right? Too much computer power leads to sloppy thinking by ralphw Correctness, Robustness, by Derek Elkins Need fuels progress by dasickis infrastructure by kaleberg STM in early 1980s by patrickdlogan More recent work by Chris Newton reminded me of the Stephen Jay Gould essay by Sam Foundational Proof Carrying Code by naasking Databases... by Ulrich Hobelmann Odd that relational databases didn't make it to your list by svembu ...	Peter Van Roy	2008-07-28 19:24
Forum topic	Chuck - Concurrent audio programming language What I want to know is... by Matt M Is it just me... by Scott Johnson rebarbative comment by emoc Time relationships between parts by GlynAdgie sc-users mailing list by James McCartney Can't get started. by shapr Good Name by Chuck Adams Haskore by kruhft Ahh... by kruhft Relevance by Ehud Lamm ...	doublec	2008-07-28 18:09
Forum topic	Type classes and type generator restrictions As another functor by Matthieu Sozeau Exactly on topic by Douglas McClean Thanks! This looks like a by Douglas McClean Restricted data types by Oleg Apologies to Philippa if I'm off base here, but... by Matt M Yup. by Douglas McClean No place to put context by Greg Buchholz (Possible) Differences from Haskell by Douglas McClean Different from Haskell? by Greg Buchholz Just when I thought I was getting somewhere by Douglas McClean ...	Douglas McClean	2008-07-28 09:02
Forum topic	A persistent AST for multi-purpose use? (Loyc) Write in a functional style? by Jay Kominek	David Piepgrass	2008-07-28 01:52
Forum topic	FP in D 2.0 Giving the programmer the by Philippa Cowderoy It's a point of view based by marshall However, by Bárður Árantsson Redefining old phrases by James Iry Too Strong by marshall Ordering by James Iry What is a side-effect? by marshall What sense of "wrong" by marshall Linearity and control flow by Charles Stewart A type-and-single-effect by naasking ...	raould	2008-07-25 20:49
Forum topic	Binary relations ORM by lizgado Generic Persistence for CLP by Frank Atanassow Datalog by Leon Smith binary relations / RDF by Dominic Fox Re: Binary Relations by Josh Dybnis	Matthew Willson	2008-07-25 14:23
Story	A System to Understand Incorrect Programs I think you are right. The by Ehud Lamm Attractor Dynamics by Barak A. Pearlmutter Ugh: scanned dot-matrix by gpaci Some neat examples from the 1980 paper by johnwcowan U.S. Air Force interested in Understanding Incorrect Programs by jpost In the same vein by Jean-Luc Delatre	Ehud Lamm	2008-07-25 14:19
Story	Practical Set Theory A comparison of Mizar and Isar by Charles Stewart Correction by Charles Stewart Mizar, Isar and proofless text by slawekk Proofless text by Charles Stewart Ontic by Paul Snively	Charles Stewart	2008-07-25 09:16
Forum topic	In search for a programming language to replace spreadsheets. FlapJax by rossjudson Databases by Koray Can Joel Spolsky has some insight by Derek Elkins Lotus Improv by Eric Brown SQL is certainly possible to use by Søren Haagerup The desire for by lmeyerov Wow! A lot of nice suggestions by Søren Haagerup SQL by James Iry Ordering by markt Don't laugh by marshall ...	Søren Haagerup	2008-07-24 18:52
Forum topic	Parser Generators Supporting Astral Characters If you find such a beastie, by shap We had to deal with this in BitC by shap UTF-8 by Mattias Engdeg You mean any pure-MzScheme parsing system... by Leon P Smith I was about to post the same by John Nowak PLT Scheme + any Scheme parser generator by Jay Kominek	JamesJustinHarrell	2008-07-22 02:33
first page previous page next page last page