recent posts | Lambda the Ultimate

recent posts

type	title	author	last post
Story	What do you mean by studying "programming languages"? ADTs can have state by andru 2nd derivative of expressiveness by jimdesu Lowering Barriers vs Extending Reach by Kevin Greer A taxonomy of programming environments and languages by Sean Leather Why? No silver bullet, that's why. by Rob Dockins ACM classification scheme by Ehud Lamm Web Pages for Programmin g Language Research by Matthew Markland Who's Who by David B. Held ADT != OO by claudio Expressiveness by marco ...	Ehud Lamm	2008-01-22 18:34
Story	Notes on notation and thought Testing by Matt M Binary operator version by Matt M Tryangular notation for exponentials. by Anders Horn	Ehud Lamm	2018-08-05 22:54
Story	Domain settings	Ehud Lamm	2014-10-04 11:26
Story	On the history of the question of whether natural language is â€œillogicalâ€ logic and language by Gergely Buday This is astoundingly good work by neelk The surround and conquer by Hank Thediek Polysemy, Idioms and Compositionality by j4n bur53 You shall know a word by the company it keeps by chrisoliver Idiom by John Shutt Compositionality by j4n bur53 Re Hilgart by Hank Thediek Hey, let's all plane Hilgart. by Rys McCusker Thanks for the comments. by Hank Thediek ...	Ehud Lamm	2013-06-06 15:18
Story	History of Logic Programming: What went wrong, What was done about it, and What it might mean for the future What is the Temporal Logic Program for the account above? by Hewitt Temporal logic never by dmbarbour Limited models... by Ray Dillinger Logic Programming does not by dmbarbour Even with time arguments, Prolog can't implement concurrecy by Hewitt If I can't imagine it, then it can't be. by Hewitt If only you guys could have by Sean McDirmid Temporal logic programming by dmbarbour Even with Monads, Lambda Calculus can't implement Concurrency by Hewitt That's just the closed world assumption by Ray Dillinger ...	Ehud Lamm	2013-07-28 20:42
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
Story	Misc News Thanks for the heads up by Dave Lopez Not worth it by Brian T Rice Specifics? by Per Vognsen Python compiler rewrite in C# by Dave Lopez Slate by Dave Lopez After Sun lets go the Self team by Brian T Rice Bottom-up or Top-down? by Hank Thediek	Ehud Lamm	2006-09-10 21:02
Story	General Purpose Cellular Automata Programming DSP by Derek Elkins OT & Thinking out too loud by Michael Walter	Ehud Lamm	2005-07-25 17:44
Story	Lisp Books online	Ehud Lamm	2005-12-03 09:56
Forum topic	ML without GC check out regions by carter You are right.. by ehrlich Looks Great by ehrlich GC all the way around by Chris Rathman PreScheme by Jens Axel Soegaard maybe by Jeff Cutsinger Don't bother, it's been done before. by tkatchev Just want to understand where dynamic allocation is needed.. by ehrlich You can't get... by Serguey Zefirov No longer ML by Andreas Rossberg	ehrlich	2005-07-28 15:33
first page previous page next page last page