recent posts | Lambda the Ultimate

recent posts

type	title	author	last post
Story	Lowering the barriers to programming Not to mention... by Scott Johnson True by Ehud Lamm What about Spreadsheets? by Kevin Greer Interesting, but incomplete. by Jonathan Allen	Ehud Lamm	2005-10-26 22:10
Story	Just What is it that Makes Martin-Lof's Type Theory so Different, so Appealing? ML type theory is a dependent by neelk Confusing indeed by Sjoerd Visscher Notation by Kimberley Burchett WF types by Charles Stewart Thanks for the correction. by neelk neelk wrote: I'm pretty sure by Charles Stewart Option (1) is spot on by Charles Stewart Thanks for the clarification by Dave Menendez Re: Be Constructive by raould Pure Type Systems are a gener by neelk ...	Ehud Lamm	2005-11-02 01:34
Story	Map of LtU readers They got complaints. by Sjoerd Visscher Knowing why by Isaac Gouy To show one truth, you must distort another by rici Global distribution of users? by Ehud Lamm Like programming languages by Isaac Gouy the usual streep maps by Isaac Gouy No choice by Sjoerd Visscher How's that? As someone planni by a_brisson Mercator is the wrong tool by Isaac Gouy Maps are like programming lan by a_brisson ...	Ehud Lamm	2005-11-06 23:18
Story	An Overview of the Singularity Project Dependability? by Peter Van Roy try this link instead by Ulf Wiger The memory of processes by Allan McInnes Pushing Mnesia by Luke Gorrie CASL as meta-specification by Leland McInnes On a 16Gb Sparc... by doublec Okay... I guess thats my mist by keean Efficient process representation by Luke Gorrie Just one at a time. I've had by doublec Could you clarify? by renox ...	Ehud Lamm	2007-10-12 19:45
Story	OOPSLA 2005 Reports Rather Compiler.eval by Andreas Rossberg One way or another let's call it a day by Derek Elkins ComponentManager.Eval by Andris Birkmanis Speaking of which... by Chris Rathman There are statically typed la by Andreas Rossberg Type abstraction can be reconciled with typecase by Andreas Rossberg The need for sophisticated types by Anton van Straaten What do you mean by "this"? : by Derek Elkins I agree by Derek Elkins But if you program a softly t by Felicia Li Svilling ...	Ehud Lamm	2005-11-08 17:50
Story	New blog If you're on LiveJournal, by Ashley Yakeley	Ehud Lamm	2005-10-29 22:22
Story	Does Visual Studio Rot the Mind? C header files, Lazy if, Python list comps, another anecdote by shapr General refutations for general claims by Anton van Straaten actually... by rmalafaia Demo movies by Brian T Rice Refactoring in the presence of hygienic macros by Per Vognsen Refactoring with macros by Anton van Straaten Hm, do you know anywhere you by Felicia Li Svilling Interesting... by Dave Griffith I program mostly on Unix-deri by Pierre Phaneuf Do what the pros do... by Scott Johnson ...	Ehud Lamm	2005-11-02 15:37
Story	Alloy: A Simple Structural Modeling Language Based on First-Order Logic And Rice... by Ehud Lamm Agreed by Paul Snively Lightweight Formal Methods by Ehud Lamm Outstanding by erk	Paul Snively	2005-11-03 22:50
Story	[Site] Network issues Network issues on Sunday by Anton van Straaten chewing on desk... by Zerny	Anton van Straaten	2005-12-11 09:00
Story	Smalltalk case-statement Style by Luke Gorrie Hmm... by Matt Hellige Dictionary lookup variation by Chris Rathman faithful to the OOP doctrine... by Isaac Gouy other approaches by Luke Gorrie OO uber-zealotry considered silly by Scott Johnson Pronouncing ">>" by Greg Buchholz If considered harmful by James McCartney Nit by Derek Elkins You know, of course, that the by Ehud Lamm ...	Luke Gorrie	2005-11-04 05:20
first page previous page next page last page