recent posts | Lambda the Ultimate

recent posts

type	title	author	last post
Story	RZ for Constructive Mathematics in Programming [Style fixed] by Jim Apple Thanks! by Ehud Lamm [Style] by Ehud Lamm	Jim Apple	2007-02-03 21:49
Story	RZ: a tool for bringing constructive and computable mathematics closer to programming practice Not a problem by Ehud Lamm Oops! by neelk Repeat by Jacques Carette	neelk	2007-04-11 15:29
Story	S has a left inverse Ah by Matt Hellige S does not have a right inverse... by Charles Stewart Unless I misread everything... by alf Statman's results on combinator bases by fruehr Yes? by Matt M Hmm... by Matt Hellige Ah, _that_ S ... by Richard W.M. Jones Here's by Derek Elkins No sincere question is stupid by Marc Hamann Stupid by Richard W.M. Jones ...	Charles Stewart	2007-12-12 16:25
Forum topic	Sad News - Ken Anderson Dies Unexpectedly at a Conference A great loss by Alan Eliasen Ken Anderson by mwand	Peter J. Wasilko	2005-01-26 04:21
Story	Safe and Secure Software in Ada Trivial by Derek Elkins sorry -- i meant a lisp-sexpr focus, not an erlang focus by raould It depends of what you mean by Ehud Lamm OTish by raould Chapter 8, Safe Startup by Ehud Lamm Chapter 7, Safe Memory Management by Ehud Lamm Chapter 6, Safe Object Construction by Ehud Lamm Chapter 5, Safe Object Oriented Programming by Ehud Lamm Chapter 4, Safe Architecture by Ehud Lamm Chapter 3, Safe Pointers by Ehud Lamm ...	Ehud Lamm	2008-09-26 19:38
Story	Safe Dynamic Memory Management in Ada and SPARK vs. Rust? by raould	naasking	2018-08-01 22:57
Story	Safe Garbage Collection = Regions + Intensional Type Analysis I don't think so, but really by lmeyerov YMMV by renox Statically proving safety is by naasking Buggy GC by John Stracke Statically proving safety is by Z-Bo understanding non-deterministic acquisition/release of resources by Z-Bo One of my favorite talks was by lmeyerov It didn't discuss those by naasking OK, that sounds good. by Mike Hearn Improving GC is exactly what by naasking ...	naasking	2009-10-18 08:04
Forum topic	Safe interior references in the presence of mutation More than generalisation by Keean Schupke Dependent products by Tom Primožič Mezzo by Matt M Defer the generalization of monomorphic variable to module by marco	Jules Jacobs	2014-05-20 20:26
Story	Safely Composable Type-Specific Languages "shell" and "file" literals using SRFI 108 by Per Bothner SRFI 108 by johnwcowan Embedded Literal Objects by dmbarbour	Allan McInnes	2014-08-13 18:09
Forum topic	Safer C Code Using ATS One of the most interesting by WolfTivy	Manuel J. Simoni	2010-06-05 06:13
first page previous page next page last page