recent posts | Lambda the Ultimate

recent posts

type	title	author	last post
Forum topic	Transparent Persistence Now I really am confused by Kevin Millikin And just as easy to tell by Philippa Cowderoy I disagree: by Achilleas Margaritis Already replied to that. by Achilleas Margaritis Encoding the equivalent, by Philippa Cowderoy Greg Buchholz showed you why by Kevin Millikin Perhaps... by Achilleas Margaritis Arguments would be modifiable. by Achilleas Margaritis Is copying necessary? by Matt M While we're talking about by Kevin Millikin ...	playergiro	2006-12-20 17:31
Forum topic	Alloy - The Book Alloy for PL design by Daniel Jackson Coq'Art by Paul Snively Coq'Art by Tommy McGuire Related popular article in Scientific American by Allan McInnes Will Do by Peter J. Wasilko Again, I strongly recommend by carter The Small Scope Hypothesis by Peter J. Wasilko Alloy can not model PL semantics by carter A Few Chapters In and Quite Impressed by Peter J. Wasilko	Isaac Gouy	2006-12-19 13:50
Forum topic	Compiling Factor to Javascript exceptions by lmeyerov Using trampolines is by doublec Exceptions/trampolines by Jeremy setTimeout by lmeyerov	doublec	2006-12-19 08:16
Forum topic	Theorem proving and patents ... I too am coming to the by Srikumar Subramanian Copyright v. Patent by Peter J. Wasilko On software patents... by Srikumar Subramanian Formalization by Allan McInnes Law and Logic by Peter J. Wasilko The first thing we do... by Anton van Straaten policy, law by lmeyerov	Srikumar Subramanian	2006-12-18 22:33
Forum topic	Books available Alibris by simon langley Alibris &co by Luke Gorrie	simon langley	2006-12-18 12:24
Story	Elements of Interaction Santa by Luke Gorrie That'd be nice by Allan McInnes Polyphonic C#/C-omega by Andris Birkmanis Illustrative examples by Luke Gorrie	Luke Gorrie	2006-12-17 23:10
Story	An Axiomatic Basis for Computer Programming	Luke Gorrie	2006-12-16 21:49
Story	Java Open Review Project If you don't have a special by Daniel Slaney The ST monad and Oleg's by Philippa Cowderoy Your order is ready sir by Daniel Yokomizo OO immutability types? by raould See Also... by Paul Snively Yes, much better... by Matt Hellige Is there any reason this by Felicia Li Svilling Constructor should be a class method by Daniel Yokomizo ESC-Java and JML by Dave Griffith proving properties in java? by shahbaz ...	Ehud Lamm	2006-12-16 11:29
Forum topic	path-sensitive dataflow analysis. How? Earlier Thread by Brandon Moore Propagation of information and Theorem Proving by Gavin Mendel-Gleason that helped me, thanks! by jonathan h. Yeah, that's right, though by neelk Ah, thanks! So that means by jonathan h. Hi Jonathan, Making a DFA by neelk	jonathan h.	2006-12-15 20:58
Forum topic	Abstractly typed languages Wouldn't there have to be some? by Fred LeMaster Hutchins' Sym and Ohmu by Kragen Sitaker Interesting by Matthew Willson Existing specification languages to the rescue by Daniel Yokomizo Yes, optimization wasn't really the main point by Matthew Willson The whole idea behind using by Koray Can Premature optimization? by Chris Rathman A list by any other name by Marc Hamann Either. by Achilleas Margaritis How about relying on depth for ordering by Denis Bredelet -jido ...	Matthew Willson	2006-12-15 04:58
first page previous page next page last page