recent posts | Lambda the Ultimate

recent posts

type	title	author	last post
Story	RDF and Databases "Yes, but..." explained by Ricardo Stuven But what? by xeo_at_thermopylae Yes, but... by Ricardo Stuven Your solution then by Mark Evans Please by xeo_at_thermopylae This type of table already exists. It's very common by Sam Starting from scratch to use less time by Eivind Eklund Moving On by Mark Evans Much Missing in Proposed Table Structure by xeo_at_thermopylae Re: Re: Chandler by Mark Evans ...	Mark Evans	2005-02-26 00:01
Story	Functional Geometry Cousineau and Mauny by Charles A Stewart	Ehud Lamm	2005-02-25 08:53
Story	Nick Benton: Simple Relational Correctness Proofs for Static Analyses and Program Transformations Fixed by Ehud Lamm Missing link by Andris Birkmanis	Ehud Lamm	2005-02-24 16:56
Forum topic	Protocol languages Network Semantics by Sriram Srinivasan sscop by yuri Dynamic temporal logic by Charles A Stewart Try Holzmann's Spin by shm	Sriram Srinivasan	2005-02-24 16:09
Forum topic	I am not a number: I am a free variable Have to find out by Andris Birkmanis Relationship to CINNI? by Paul Snively	Andris Birkmanis	2005-02-24 08:27
Forum topic	Special characters' input methods You mean the Mac OS Character Palette? by Doug Landauer GNOME Character Palette by John Stracke This don't help but... by Chris Rathman Revival by Anton van Straaten Aha by Luke Gorrie I meant a browser-side gimmick :) by Andris Birkmanis Some Tcl/Tk tools by Neil Madden Emacs by Luke Gorrie	Andris Birkmanis	2005-02-24 07:05
Forum topic	A New Series of Books and Software for Scientists, Experts, Teachers and Students Not even focused by John Stracke Looks like spam to me by Ehud Lamm Does this really deal with programming language theory? by shapr	Haritonov	2005-02-23 21:15
Forum topic	What are The Atoms of Programming Languages? re: Function vs. lambda by Dmitri Kondratiev Types, names, and scopes = telescopes by Andris Birkmanis Function vs. lambda by Anton van Straaten Both kinds of names by Andris Birkmanis Re: Common denominators by Dmitri Kondratiev Common denominators by Anton van Straaten A reasonable idea, but... by Dmitri Kondratiev E- and I- languages by Dmitri Kondratiev Objects, types, scopes, and points of execution by Anton van Straaten A Methodological Proposal by Marc Hamann ...	Dmitri Kondratiev	2005-02-23 13:07
Story	Busy, busy, busy	Ehud Lamm	2005-02-21 18:56
Story	The pi-Calculus in Direct Style Review by Andris Birkmanis And even more "direct" by Andris Birkmanis	Andris Birkmanis	2005-02-21 08:31
first page previous page next page last page