recent posts | Lambda the Ultimate

recent posts

type	title	author	last post
Forum topic	Asynchronous Middleware and Services	Ehud Lamm	2005-01-06 16:09
Forum topic	Linking comments i had this problem (on my mai by andrew cooke Real Soon Now by Anton van Straaten	Derek Elkins	2005-01-06 11:03
Story	SPARKAda there was at least one discus by andrew cooke Dynamic Contract Checking by Ehud Lamm SPARK and polymorphism by rod.chapman SPARK _doesn't_ support polym by Ehud Lamm Terminology by Anton van Straaten Compiling and Analuzing SPARK by rod.chapman Hume by Chris Rathman Other high assurance languages? by Greg Buchholz Re: I'm not impressed by Peter Amey Some info about SPARK by rod.chapman ...	andrew cooke	2005-01-06 11:01
Forum topic	PL for interactive simulation Nice Toy! by Andris Birkmanis Croquet by danm Doris by danm History of CAOS by frabcus And, of course, JoCaml by Andris Birkmanis CAOS is a DSL, Creatures are RT+app by Andris Birkmanis Creatures is an image based programming language by doublec Thanks! by Andris Birkmanis Hatching Norns by doublec Erlang has an SDL binding. by Alexandre Richer ...	Andris Birkmanis	2005-01-06 08:15
Story	Guido: Adding Optional Static Typing to Python -- Part II	Ehud Lamm	2005-01-05 11:11
Story	New Year's Resolutions Factor? by doublec Orthogonal to static typing. by John Carter Sounds like you want static typing? by Chris Rathman Joy == Functional Forth by Anton van Straaten Pragmatic Languages by John Carter More on Joy by Ehud Lamm Replace 6) by Joy. by John Carter For anyone interested in rewriting/refactoring/proving/... by John Carter Suspicious content [OT] by Anton van Straaten Phew... by Andreas Rossberg ...	Chris Rathman	2005-01-05 01:20
Story	Adding Optional Static Typing to Python Part II by Chris Rathman mixed lists by segphault named assertions by segphault Couple of questions by Chris Rathman python and static typing by segphault thanks - interesting paper. by andrew cooke HLists by Daniel Ehrenberg Base classes? by Chris Rathman the first thing i looked for by andrew cooke I don't like what I see by gabriele renzi	Chris Rathman	2005-01-04 03:25
Forum topic	Modelica: Modeling of Complex Physical Systems Quite by Ehud Lamm Clarifications by mtiller Bumped by Anton van Straaten is there a way of bumping for by andrew cooke Very by Mark Evans	Daniel Yokomizo	2005-01-03 22:10
Story	Pascal-FC Other concurrent Pascals by James Hague Surely they are not all primitive by Sjoerd Visscher Well by Ehud Lamm A wide range of primitives by Sjoerd Visscher BTW by Ehud Lamm	Ehud Lamm	2005-01-03 20:03
Story	XQuery and XSLT as declarative languages	Ehud Lamm	2005-01-01 22:28
first page previous page next page last page