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	It's Time to Stop Calling Circuits "Hardware" GC & destructor by raould Synchrony by Tony Finch Data Flow by Vorlath HDLs, parallel programming, etc. by UncleOxidant RAII requires guaranteed destructor semantics by Scott Johnson As far as I can tell... by Bárður Árantsson Languages with higher-order by Philippa Cowderoy From the wikipedia article by naasking Memory management is another by Mathias Gaunard It's probably not totally by Philippa Cowderoy ...	Allan McInnes	2007-10-17 18:49
Forum topic	History: CPL, the great-grandfather of C The only concept that by Boyko Bantchev more on C's ancestry by Boyko Bantchev Seems to be.. by bashyal It is interesting to see by Ehud Lamm Nice! So are these papers by Ehud Lamm	AlexB	2010-07-26 21:02
Forum topic	BitC, a new OS implementation language Proving false by dhopwood :-) by Paul Snively Ha ha by Jeff Cutsinger Challenges of verification by shap Reducing bugs in BitC by shap Confusing BitC/P and BitC/L by shap Rationale for a "close to AST" surface syntax by shap BitC and S-Exprs by shap The difference is that progra by johnnyb Re: Type Safety and Concurrency by Paul Snively ...	Alexandre Richer	2005-07-25 19:48
Forum topic	lua book available online.	Alexandre Richer	2004-07-17 22:23
Forum topic	Ada, C, C++, and Java vs. The Steelman Mentioned briefly by Chris Rathman I am pretty sure I linked by Ehud Lamm	Alexandre Richer	2008-08-22 14:49
Forum topic	Nomenclature for impure functions Implicit Arguments by brian A useful definition in my by brian We couldn't find any nonclementure either by Andrew Moss Idempotence by dmbarbour My language supports by Alexandre Cossette Classification of procedure calls by Alexandre Cossette Allocation and Temporal Effects by dmbarbour Control effects by Andreas Rossberg Infinite Memory by dmbarbour Lot's of impurity by renox ...	Alexandre Cossette	2011-04-28 03:28
Forum topic	Which Java compiler for a student/research project? JoeQ by Won Polyglot by Michael Greenberg Where to start... by Sean Leather Eclipse Java Compiler by dbremner I remember thinking Polyglot by Ehud Lamm eclipse compiler by peter steiner Fjavac? by shahbaz	Alexandre	2006-10-03 01:00
Forum topic	Interactive Parsing Theory Can I see this code? by David Piepgrass Using the notation I have by Kay Schluehr If you want to go that by Sean McDirmid Interpolations by Kay Schluehr Interesting, the data-flow by Sean McDirmid Structured editing in its by Sean McDirmid I guess its not impossible. by Sean McDirmid P.S. while this is an by Jules Jacobs Incremental parsing isn't required for incr. typing by gasche The same way you'd do by Jules Jacobs ...	Alexander Morou	2013-11-09 06:15
Forum topic	Recursive Descent Parser Generators Indirect Left Recursion by Alexander Morou I suspect interoperability by John Shutt Everything needs to be built in by Josh Scholar Usability for those using it by Ross Angle Interesting. As a Lisp person, by John Shutt They see syntax as something by Sean McDirmid Of course, LISP people don't by John Shutt For example, you could layer by Sean McDirmid Applicability & Layering by Brandon Bloom Focus by Alexander Morou ...	Alexander Morou	2015-07-14 06:50
first page previous page next page last page