recent posts | Lambda the Ultimate

recent posts

type	title	author	last post
Forum topic	FringeDC Programming Group Formal Meeting- July 12th, 6PM	drcode	2008-06-22 20:53
Story	Parametric Higher-Order Abstract Syntax for Mechanized Semantics	Paul Snively	2008-06-22 20:50
Story	Pure imperative programming Errata for A Correspondence Between .... by Pal-Kristian Engstad Is it? by Paul Snively Classic = surprising + age by Daniel Yokomizo Classic by Anton van Straaten Also by Derek Elkins also, calling SSA "imperative" by Thomas Lord um.. what's the ado about? by Thomas Lord Usually I used the by Ehud Lamm Admin: which department? by Charles Stewart	Charles Stewart	2008-06-22 19:29
Story	Computation and the Periodic Table An interesting related Ltu by Hank Thediek	Daniel Yokomizo	2008-06-21 16:16
Forum topic	A Million Actors, Safe Zero-Copy Communication - for Java A proposal for Java 8...? by Denis Bredelet -jido	Isaac Gouy	2008-06-20 22:07
Story	Applied Proof Theory: Proof Interpretations and their Use in Mathematics I'm very interested... by Paul Snively I knew you would be by Ehud Lamm Looks compelling by Charles Stewart	Ehud Lamm	2008-06-19 18:43
Forum topic	Algebraic Data Types in JavaScript Comparison with generic programming approaches in Haskell by Sjoerd Visscher Re: Thanks! by Dave Herman I saw this yesterday and by Ehud Lamm Thanks! by Sjoerd Visscher neat stuff by Dave Herman	Sjoerd Visscher	2008-06-18 21:59
Forum topic	Call for Papers: Symposium on Logical Foundations of Computer Science	yegor	2008-06-18 21:26
Story	Programming -- Principles and Practice Using C++ Not just C++ by andhow Depends on the thing being passed around by Scott Johnson On the side, by andhow auto_ptr was deficient; move semantics are not bad by Mathias Gaunard Flame much? by andhow Not unless they explicitly used std::move by andhow Why copy? by Mathias Gaunard Your example demonstrates the opposite by andhow Value and reference semantics are not mutually exclusive by andhow Although it's a totally by Achilleas Margaritis ...	Ehud Lamm	2008-06-18 19:36
Forum topic	Higher-order type constructor polymorphism vs./and template style specialization I agree by Matt Hellige Type-Indexed definitions by Andreas Rossberg There are type systems... by neelk Addendum by Matt Hellige Don't know. by Matt Hellige	scottmcl	2008-06-18 17:06
first page previous page next page last page