recent posts | Lambda the Ultimate

recent posts

type	title	author	last post
Forum topic	Reasoning with inductive types Language definiton phase by hbrandl Does Modern Eiffel exist? by John Nowak	hbrandl	2012-03-09 14:54
Forum topic	Research in Programming Languages The essay seems concerned by Sean McDirmid Wrong tools for the wrong job by Andrew Moss A counterpoint by Chris Martens by gasche No, I don't. But it is my by Ben L. Titzer Some supporting discussion by Sean McDirmid I'm going to disagree with by Sean McDirmid Do you believe with 100% by Jules Jacobs Interesting bits and discussion by gasche Whether there is some by Sean McDirmid Maybe the context is too by Ben L. Titzer ...	Sean McDirmid	2012-03-10 11:01
Story	Julia, a language for technical computing I think it's better to keep by NickP Exactly! by NickP Not bikesheeding: just an embarrassing mistake by renox else if bikeshedding by gasche floating point by JeffB Julia looks good by ted stockwell Interesting language by renox Yes, plotting is absolutely by ViralBShah Devil's advocate by Neil Madden Plotting is the Killer Feature by vincenttoups ...	Manuel J. Simoni	2012-03-12 02:05
Forum topic	What work in FRP models programs which can change the type of output and input they have? Session Types by S. Clover Type as a function of what? by dmbarbour	Steven StewartGallus	2012-03-12 15:14
Forum topic	Filtering system calls with a packet filtering language One step closer to D-trace, by lmeyerov	Manuel J. Simoni	2012-03-15 20:57
Forum topic	Software Cartography and Code Navigation I think the constraining by Sean McDirmid what to measure? by markt More Resources by dmbarbour	Sean McDirmid	2012-03-16 00:17
Forum topic	2012 APL Programming Contest is Open	Morten Kromberg	2012-03-16 21:47
Forum topic	Parametric Grammars amethyst has good compositional properties by Ondrej Bilka Menhir by skaller A few references by yitzhakm Definite clause grammars can by Jules Jacobs Pragmatic: menhir by gasche Compositional grammars by const	skaller	2012-03-18 07:59
Story	Social Processes and Proofs of Theorems and Programs xref by el-vadimo Doron Zeilberger's Opinion #112 by el-vadimo Proving correctness for a by Kay Schluehr No idea where they're at now by marco Ally Donaldson's post by vrijz Misunderstanding CH? by vrijz Interactive proof assistants by vrijz Informal by marco understanding Spafford's lack of enthusiasm by el-vadimo Surprisingly... by Paul Snively ...	Luke Gorrie	2012-03-19 13:02
Forum topic	Long rant on Erlang-style Actors: Lost Dimension aLater and aSend by const Simplicity of futures by Hewitt Possibly too small sample by const Simplicity and conciseness of futures by Hewitt Keyboard state by dmbarbour model with state by dmbarbour Keyboard events by const meaning of event by dmbarbour Complexity and verbosity of promises by const Not very by dmbarbour ...	const	2012-03-20 08:57
first page previous page next page last page