recent posts | Lambda the Ultimate

recent posts

type	title	author	last post
Story	Specification and Verification: The Spec# Experience No mention of Singularity or Midori by shap Good question by Cyril Very interesting indeed by gasche	Allan McInnes	2011-06-10 04:46
Story	Guidance to avoiding vulnerabilities in programming languages (ISO/IEC 24772) :-)Is it ISO you object to, by Ehud Lamm ISO/IEC 24772 is off-putting by dmbarbour	Ehud Lamm	2011-06-22 16:11
Story	Announcing Ozma: extending Scala with Oz concurrency Thank you for your feedback. by sjrd Impressive by gasche	Peter Van Roy	2011-06-27 12:23
Story	Levy: a Toy Call-by-Push-Value Language Interesting... by Ohad Kammar Intriguing by Paul Snively The authors of Levy admitted by Denis Bredelet -jido Too dense? No comments? by Ehud Lamm	Ohad Kammar	2011-07-28 18:12
Story	Lightweight Monadic Programming in ML Thanks by Matt M Eff EDSL in Haskell by Sjoerd Visscher Differences by Matt M Monads and Lawvere Theories by Ohad Kammar Eff by Ohad Kammar A minimally category-theoretic intro to algebraic effects... by neelk Quite similar by Matt M Reminds me of Eff by Ohad Kammar Composing effects by Leon P Smith first class signals by dmbarbour ...	Paul Snively	2011-08-10 20:39
Story	Programming and Scaling Pipelining without Promises by dmbarbour Alternative to embedding cost caps by dmbarbour Using timeouts means you by Jules Jacobs It would be ludicrous to by Jules Jacobs Network Resource by dmbarbour Broken promises and timeouts by dmbarbour I would disagree with this by Jules Jacobs If you insist on separating by Jules Jacobs We Dream of Parallel by dmbarbour I'm blanking on the name, by dmbarbour ...	Manuel J. Simoni	2011-08-23 16:56
Story	A Monadic Framework for Delimited Continuations implementing delimited by Ehud Lamm I think the model offered by by Manuel J. Simoni We show that this is not by lmeyerov	Manuel J. Simoni	2011-08-25 20:11
Story	Opa from the preamble by JeffB GPL and Open Source by Roy Batty begging the question by JeffB Blackboard architecture? by Neil Madden GCC output isn't viral by Roy Batty why not? by JeffB PLDI/ECOOP are in Beijing by Sean McDirmid No... by neelk Don't think so by Matt Hellige Litany of RDP questions by dmbarbour ...	Ehud Lamm	2011-10-28 01:42
Story	the gnu extension language Actually, not quite by johnwcowan Right... by Ray Dillinger When someone finally writes by jimdesu the greater expressiveness of fexprs by John Shutt p.s. re project suggestion by Thomas Lord HEY: project suggestion by Thomas Lord Reporting conflicts by dmbarbour Again, different goals. by Ray Dillinger Interoperability by dmbarbour Different goals, different needs. by Ray Dillinger ...	Manuel J. Simoni	2013-06-28 14:23
Story	The Trouble with Erlang It seems like that to me by Timothy Beyer LFE by Leon P Smith see LFE? by raould ill suited for every purpose by dmbarbour Really, really general purpose programming language by Charles Stewart No by dmbarbour Would it be fair then to say that by Matt M Multi-domain programming by dmbarbour General : no weaker than necessary outside the comfort zone by gasche Does the post only feature weak arguments? by Charles Stewart ...	Charles Stewart	2011-10-14 03:57
first page previous page next page last page