recent posts | Lambda the Ultimate

recent posts

type	title	author	last post
Story	Ninety-nine Lisp Problems You can easily get rid of the cuts by mat Prolog comparisons by Tommy McGuire Normally... by Tommy McGuire Total functional programming by renaud The others are based on the Prolog problems. by cestith Seems Only The Prolog Problems Are Done! by Benevenuto Giorno 99 Perl 6 problems by cestith Detectability by Sjoerd Visscher If we are talking static type analysis by Chris Rathman The beauty is in the eye of the beholder by Daniel Yokomizo ...	Ehud Lamm	2007-01-24 18:03
Forum topic	F3: New statically typed scripting language for java There are two issues. Array by Ben L. Titzer dataflow by shahbaz hiya by lmeyerov Agree that bracketed by chrisoliver Thanks! I have a hard time by Sean McDirmid SuperGlue by chrisoliver An Eyesore by Ben L. Titzer Hi Chris, I like your F3 by Sean McDirmid F3 by chrisoliver I think that the 'yay' was by renox ...	dough	2007-01-24 18:03
Story	A Visual Environment for Developing Context-Sensitive Term Rewriting Systems Renumbering vs. Renaming by Greg Buchholz Little Help? by Paul Snively Dependent Types and Explicit Substitutions by Andris Birkmanis Re: Explicit Substitution Calculi by Paul Snively Sounds like... by Brian T Rice explicit substitution calculi by Dave Herman <neo>Whoa.</neo> by Paul Snively	Ehud Lamm	2007-01-23 19:15
Story	Ott--a tool for writing definitions of programming languages and calculi.	Paul Snively	2007-01-23 07:06
Forum topic	Have I Missed Something ? SLIME: WITH-STRUCT Elisp/CL by Luke Gorrie ONCE-ONLY by Luke Gorrie Sins, eh? by Peter Scott Portability by Luke Gorrie I think this is interesting by Luke Gorrie with-edit-env macro by seancharles 'Applicative' programming? by sigfpe Comonads? by Greg Buchholz PLT style by Peter Scott comp.lang.lisp, by Manuel J. Simoni ...	seancharles	2007-01-22 23:06
Forum topic	Vyper is missing D vs Felix by skaller vyper ... found by Doug Landauer If anyone finds a copy .. by skaller I might still have it somewhere by Doug Landauer Figures... by icosahedron	Florian Hars	2007-01-21 09:06
Forum topic	Intellisense for dynamic languages Self by Derek Elkins Well, I agree by Andreas Rossberg Hm. by neelk The type of eval by Andreas Rossberg Also see Norman Ramsey's papers on Lua-ML by rici Plugging Haskell In by Andris Birkmanis Lua's compiler is indeed re-entrant at runtime by rici Type of an Eval Statement by cdiggins Indeed that would be more work by tlareywi What about eval statements ? by nevare ...	tlareywi	2007-01-20 18:00
Story	Locus Solum: From the rules of logic to the logic of rules "New Impressions of Africa" by Webley Webster yeah.... by jimdesu Raymond Roussel by Matias Giovannini Sure... by neelk Maybe? by Marc Hamann No! by neelk A Riddle by Marc Hamann Sounds very interesting. by Ehud Lamm	Andris Birkmanis	2007-01-20 06:18
Story	HOPL-III: The Evolution of Lua	Chris Rathman	2007-01-19 05:49
Story	Annotated POPL 2007 Program Related to the Non-Standard Interpretation paper by Kimberley Burchett Geometry of Synthesis: A structural approach to VLSI design by Ethan Aubin Logic-Flow Analysis of Higher-Order Programs by Ethan Aubin Automatic Differentiation by Matias Giovannini	Noel	2007-01-19 02:35
first page previous page next page last page