recent posts | Lambda the Ultimate

recent posts

type	title	author	last post
Story	Engineering Formal Metatheory Convergence by Paul Snively Nominal Isabelle by Teme Yep by Paul Snively	Allan McInnes	2008-01-12 23:43
Forum topic	OcaPic: Programming PIC microcontrollers in OCaml It is confusing while the by Sean McDirmid Meh by gasche French version by pjmlp source as docs by NickP good catch by NickP Hm by gasche link by NickP here's the link by NickP Hard data point by Andrew Moss Fair enough by Allan McInnes ...	Allan McInnes	2015-10-12 22:15
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	lua book available online.	Alexandre Richer	2004-07-17 22:23
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	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	Compiler framework, insight? Very interesting by Cyril Re: Send me your resume by Alexander Morou Send me your resume by Sean McDirmid Re: Roslyn by Alexander Morou Yep, I'm doing code gen by Sean McDirmid Re: Bling by Alexander Morou Yes and yes :) I'm by Sean McDirmid Re: Bling? by Alexander Morou I have found by Sean McDirmid Re: What about the DLR? by Alexander Morou ...	Alexander Morou	2011-04-20 22:57
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