recent posts | Lambda the Ultimate

recent posts

type	title	author	last post
Forum topic	Seeking nearly anything re: so called language "bootstrapping" process Some old links too by Boyko Bantchev Some new links to share by Z-Bo Thanks...!!! by Z-Bo Not so myopic by Matt Hellige Need to add "http://" to by naasking VPRI by Z-Bo Bootstrapping by Z-Bo Compiling with Continuations by Z-Bo Appel again.... by scottmcl Link by Allan McInnes ...	scottmcl	2010-07-10 22:04
Forum topic	Seeking papers that unify control theory and programming language design SELFMAN, Willems by Derek Elkins Pappas, Tabuada, Ptolemy, Synchronous languages by Allan McInnes	Z-Bo	2011-01-26 22:41
Forum topic	Seeking reference for citation in article. The easiest way to find it... by fadrian Towards a mathematical by Z-Bo	Harold Levin	2009-11-23 19:42
Forum topic	Seeking succnict thoughts on pros/cons of hl language styles Quite a menagerie by raould oh boy by raould Pros and cons in CTM by Peter Van Roy Opinions by dmbarbour	raould	2009-04-01 17:35
Forum topic	Seeking suggestions on how to unify the environment, free variables, and current activation record for closures explicit boxes... by Srikumar Subramanian boxing ... by Srikumar Subramanian True, it does aid readability by rici It aids readability by Doug Landauer That only differs in a small detail by rici Assignment conversion by pkhuong Of course, that doesn't give you mutable bindings by tomlu Hard binding closures ... by Srikumar Subramanian I think I'd like this by tomlu I guess we all have our preferences by rici ...	tomlu	2007-02-14 02:13
Forum topic	Seeking thoughtful criticisms of functional programming and languages Isn't the memory footprint impractical ? by Michael Moser a while ago, I wrote a brief on Scheme vs. Common Lisp. by Ray Dillinger It's still out there, if you dig... by Dan Moniz No hard feelings, I hope by Matt Hellige Hmm, by Zarko Oh, I dunno... by Matt Hellige Who hurt you? by Frank Atanassow NDFA-like computes by dmbarbour Documentation? by pdf23ds Referential Transparency Def by dmbarbour ...	scottmcl	2013-03-31 00:40
Story	Seemingly impossible programs Actor Model Semantics by Hewitt Libel by Hewitt You can do a lot with by Sean McDirmid where's the libel? by dmbarbour On exactly which page of by dmbarbour Libels probably won't limit the future of Actors by Hewitt Proving theorems is a difficult and rigorous business by Hewitt Most ideas have one person by John Shutt Unicode is the future of programming languages by Hewitt Problem with form by gasche ...	Ohad Kammar	2015-04-18 02:15
Forum topic	Segmentation Fault My first thought is that by Ehud Lamm	suresh7708	2006-05-25 11:49
Story	seL4: Formal Verification of an Operating-System Kernel seL4 source & proofs are now available by Asa Briggs rigorous standards by el-vadimo Dichotomy of Practice by dmbarbour Practice Makes Perfect by Paul Snively Yeah, it's a false dichotomy by dmbarbour Self-Made Frustration by Paul Snively Ideally, specifications by dmbarbour Two brief remarks. Frank by Kay Schluehr Great Strides and Initial Specifications by dmbarbour dijkstra by raould ...	James Iry	2014-07-29 07:19
Story	Select/From versus From/Select The deed is done by Ehud Lamm Ohms Law for Meetings by Scott Johnson but not what they do by Isaac Gouy Or, to put it another way... by David B. Held There is no horse by daryabeygi There is an interesting art by Erik Meijer test test and test again by Isaac Gouy	Ehud Lamm	2006-05-06 16:27
first page previous page next page last page