recent posts | Lambda the Ultimate

recent posts

type	title	author	last post
Forum topic	Formal verification of a C-Compiler frontend. Direct link to the previous by Ehud Lamm	Peter A Jonsson	2006-06-13 21:03
Forum topic	Generative and Transformational Techniques	JamesLitsios	2006-06-13 14:20
Forum topic	Relevance of Curry-Howard What is a logic program by Hank Thediek All L-programs terminate by Ronny Wichers Schreur Or maybe not by Andris Birkmanis Unification by Hank Thediek Limit of FSMs does not equal TMs by fruehr If you've got (say) full by neelk Thanks for the link by Hank Thediek Thanks for reminder by Andris Birkmanis "That's exactly the reason I by Hank Thediek Good point... by Ehud Lamm ...	Klaus Ostermann	2006-06-12 13:36
Story	Technical Work on Ada 2005 Standard Completed	Ehud Lamm	2006-06-12 08:27
Story	Inform 7: A relational DSL for interactive fiction with natural language syntax "noun" and "second" (or what by natecull Did you look at the Phrasebook? by Peter J. Wasilko A month with I7 by Steven Hugg Definite vs indefinite articles by Dave Menendez Transitive closure, searching by Per Vognsen English by Steven Hugg Aliases by Steven Hugg After reading the article, I by neelk Impressions by Frank Atanassow Just shortly after I7 was by Ruediger Hanke ...	Frank Atanassow	2006-06-12 07:49
Forum topic	emulation for Erlang style processes funky runtime address space games by Rys McCusker misc VM instruction sets by Rys McCusker likewise by neelk "Some quarters" can ignore by Derek Elkins Chalk tutorial by David Teller Transputer by Allan McInnes using immutable data only by Rys McCusker Can't speak for others... by Chris Rathman strange ltu traffic lately by Rys McCusker more pros for emulation by Rys McCusker ...	Rys McCusker	2006-06-11 03:01
Forum topic	A DSL based Web Framework. Thanks, I think I saw post a by Matt Estes haXe by Nicolas Cannasse	Matt Estes	2006-06-10 20:43
Forum topic	Multidimensional Virtual Classes Overloading by Vesa Karvonen Sure by Paul Snively Sure by Paul Snively Do they pass the Oleg test? by Greg Buchholz Yep by Paul Snively I'd been about to link to by Philippa Cowderoy Modular Type Classes by Ethan Aubin Functors and Type Classes by Chris Rathman One thing I do believe is by Philippa Cowderoy Nice Isomorphisms Between Typeclasses and O'Caml Modules by Paul Snively ...	Niels Hoogeveen	2006-06-10 06:39
Story	Public resources for ECMAScript Edition 4 is this post beyond the by Ehud Lamm Metaprogrammation by odanet But I can't reply to either by Derek Elkins We have a DSL department by Ehud Lamm Try harder. by Sjoerd Visscher TAIL CALLS by taral Right. So why did you post by Derek Elkins Completely off-topic for by Ehud Lamm Completely off-topic for this thread, but... by Derek Elkins yes by Dave Griffith ...	Dave Herman	2006-06-09 08:35
Forum topic	Editing posts second use of this pseudonym by Claude Dukenfield Bug? by Frank Atanassow I agree that persistence of by Ehud Lamm Freedom to edit by Anton van Straaten i think you may be missing by andrew cooke no problem with editing by Ethan Aubin Editing: My Perspective by Derek Elkins re pseudonyms: Like I said, by Ehud Lamm less humor, more technical by Rys McCusker I often edit my posts many by Luke Gorrie ...	Jeff Nowakowski	2006-06-09 01:05
first page previous page next page last page