recent posts | Lambda the Ultimate

recent posts

type	title	author	last post
Story	[Redux] The Polyadic pi-Calculus: a Tutorial (1991) Robin Milner Indeed by Allan McInnes Thanks by estrabd Meh... by gmol I am, of course, by Ehud Lamm Thinking in CSP by Luke Gorrie Interesting pi-calculus application by Allan McInnes CSP by Allan McInnes [Community] As another neutral bystander by Dave Lopez [Community] A neutral reading by Marc Hamann Fine. I will refrain from by cdiggins ...	cdiggins	2006-12-14 05:12
Forum topic	Compile to binary in common lisp? comp.lang.lisp by Anton van Straaten OT by Luke Gorrie	Gregory Propf	2006-12-13 22:22
Forum topic	Exceptions Exception-Handling Bugs in Java and a Language Extension to Avoi by Ethan Aubin Rollbacks by Qrczak This idea has been by renox But other side-effects, by peter steiner Could writing a program that by Hank Thediek Isn't letting it crash in by BigZaphod To elaborate... by grant Forward or backward? by Hank Thediek The erlang philosophy - Let it crash! by grant Interesting. by BigZaphod ...	BigZaphod	2006-12-13 18:35
Story	Bjarne Stroustrup: The Problem with Programming first hand by Isaac Gouy C# from mono by Rys McCusker mono by Isaac Gouy supplier substitution by Rys McCusker Deja vu? by Koray Can the second part of our interview with Bjarne Stroustrup by Isaac Gouy	Ehud Lamm	2006-12-13 17:13
Forum topic	unchecked exceptions are like runtime type checking? Nothing to Add Here... by Paul Snively As you may know mine. by Daniel Yokomizo You Know My Response... by Paul Snively doesNotUnderstand by Daniel Yokomizo unbound -> late binding by Rys McCusker Eh... by Paul Snively State is hell by Daniel Yokomizo Method overloading by Denis Bredelet -jido While I agree that such by naasking Thanks! (and to Chris) by Matt M ...	lumpynose	2006-12-13 09:40
Forum topic	excitement in language research? This a little more applied... by gmol I agree bigtime by adamarthurryan re: Two Cents by adamarthurryan I agree that (1) is most by Ehud Lamm One, Two by Marc Hamann I'll third the by BigZaphod Two Cents by Paul Snively Type System Black Hole by rhat Focus on getting real by Andreas Rossberg Not in the field, but... by James Hague	adamarthurryan	2006-12-13 08:50
Forum topic	Optimal map API Java map iterators can both update and remove by jglick Change the list? by Denis Bredelet -jido Even simpler problem by Kannan Goundan	Henning G	2006-12-13 00:05
Story	Directness and liveness in the morphic user interface construction environment Live editing by Sean McDirmid Live editing by mike_ekim1024 Related: Self & Sketchpad by Luke Gorrie see also the Gadgets toolkit on Oberon System 3 by Ben Smith-Mannschott Screenshots by Brian T Rice Presenting Squeak by Luke Gorrie Squeak Morphic by Brian T Rice Squeak by Matt Hellige screenshots? by ekoontz	Luke Gorrie	2006-12-12 07:06
Story	YubNub for Programming Language Research [Offtopic] Names and Urls by cdiggins No need to apologize by Denis Bredelet -jido Please accept my apologies! by cdiggins PLRE link by Denis Bredelet -jido For the record I have by cdiggins Unfortunately, it seems that by cdiggins "Community extensible" by Denis Bredelet -jido	cdiggins	2006-12-12 04:47
Story	PVS goes open source Z by Allan McInnes Applications in medical systems? by steven_h Seventeen Proof Assistants by Ronny Wichers Schreur One categorisation of these by michaeln PVS, ACL2, Coq ... by steven_h	Ehud Lamm	2006-12-12 04:36
first page previous page next page last page