recent posts | Lambda the Ultimate

recent posts

type	title	author	last post
Story	The Landscape of Parallel Computing Research: A View from Berkeley Back to the future by Allan McInnes What is a "Dwarf" by Hank Thediek	Ehud Lamm	2007-02-10 18:35
Forum topic	Complex networks and human language	Niels Hoogeveen	2007-02-10 18:33
Story	State of the Union: Type Inference via Craig Interpolation Standard proof theory by Charles Stewart Implementation of Craig Interpolation? by Tim Daly Jr. Very nice by Charles Stewart That's neat -- I had never by neelk	Jim Apple	2007-02-10 00:41
Story	Programming Shorthands Implementation in Lisp by Greg Buchholz Metaprogramming in Q by Albert Graef Call for backup? by raould yes, but... dependent syntax? by Matt Hellige You're right, of course -- I by sean Right, but we don't outlaw by sean You know what they say... by William D. Neumann That's anaphora, but... by Anton van Straaten The authors' response would by sean Lambda the ultimate by tonyg ...	James Hague	2007-02-10 00:09
Story	Termination Checking with Types relation between termination and productivity by Matt Hellige An FSM can match (01), your by Derek Elkins The definition of correctness, and a question. by Achilleas Margaritis ad infinitum by Dave Formalizing OS in a strongly normalizing language by Oleg It is practical in a sense... by naasking Â¬FSM? by Greg Buchholz Logic and reality by Derek Elkins Thanks for the educational by naasking Just to Expand a Bit by Paul Snively ...*	neelk	2007-02-09 20:53
Story	Haskell vs. Erlang, Reloaded OCaml by Matt Hellige DHS dead? by raould When reality kicks/knocks by raould Erlang-style Distributed Haskell by vs Session types by Derek Elkins From the Preface of the by Derek Elkins What's wrong is that it by Philippa Cowderoy I'd like to hear more about by Jonathan Tang Declaratively succint by Joel Reymont As Joel, I and a number of by Philippa Cowderoy ...	Ehud Lamm	2007-02-08 22:58
Story	Type-Level Computation Using Narrowing in Omega	Niels Hoogeveen	2007-02-08 22:41
Forum topic	Open Quark (CAL language) available under BSD-style license Re: monadic operations? etc. by luke monadic operations? by shahbaz	luke	2007-02-08 21:43
Forum topic	Compile time garbage collection Region Inference by Daniel Yokomizo	vintermann	2007-02-08 12:17
Story	On Decidability of Nominal Subtyping with Variance moving forward by Burak Emir	Ehud Lamm	2007-02-08 08:37
first page previous page next page last page