Lambda the Ultimate

type	title	author	last post
Story	Gilad Is Right Why do static types help? by Neil Madden	Erik Meijer	2014-03-23 13:38
Story	History of Logic Programming: What went wrong, What was done about it, and What it might mean for the future Deductive/inductive? by Neil Madden	Ehud Lamm	2013-07-28 20:42
Forum topic	Most web developers prefer dynamic languages The procedural web by Neil Madden Generalisations by Neil Madden	Henri Binsztok	2012-10-08 22:31
Forum topic	Why prolog is by far the best, most productive, easiest programming language A few brief thoughts by Neil Madden Abstracting the schema by Neil Madden Well, if you view the by Neil Madden NoSQL by Neil Madden Both objects and relations by Neil Madden	marshallp	2012-08-23 03:24
Forum topic	Retrospective Thoughts on BitC Other benefits of RC by Neil Madden	raould	2012-04-18 16:43
Story	Julia, a language for technical computing Devil's advocate by Neil Madden	Manuel J. Simoni	2012-03-12 02:05
Forum topic	why first-class functions First class or higher order? by Neil Madden	ad1mt	2012-03-02 13:33
Forum topic	Active Variables in Common Lisp Variable traces in Tcl/Tk by Neil Madden	kruhft	2012-02-08 18:02
Forum topic	Go's proposed panic/recover exception-like mechanism Exceptions + Futures by Neil Madden Excellent! by Neil Madden Passing error/event handlers by Neil Madden	pgregory	2012-01-07 01:57
Forum topic	iPhone PL lockdown OT: "meta-platform" by Neil Madden	Sean McDirmid	2011-12-24 05:49
Story	A bit of Scheming Reflection and Semantics in LISP by Neil Madden	Ehud Lamm	2011-12-01 13:44
Story	Opa Blackboard architecture? by Neil Madden	Ehud Lamm	2011-10-28 01:42
Forum topic	What space does SQL cover, or, why is max so weird in SQL? Nitpick by Neil Madden Non-monotonocity by Neil Madden Predicate Calculus by Neil Madden	bdenckla	2011-10-26 20:00
Forum topic	Elephants don't play chess Grammars and agents by Neil Madden I may be wrong, but I by Neil Madden Similarly, a glance at the by Neil Madden I don't believe symbolic by Neil Madden Unfortunately, the model is by Neil Madden I don't think that's how by Neil Madden Subsumption + extras == subsumption? by Neil Madden Automata theory by Neil Madden	Sean McDirmid	2011-05-01 20:24
Story	Guido: Language Design Is Not Just Solving Puzzles Forward chaining usually by Neil Madden But I do think that backward by Neil Madden Mutability vs scope by Neil Madden Cognitive model? by Neil Madden	Ehud Lamm	2011-01-05 17:06
Story	program verification: the very idea SAT solvers by Neil Madden	el-vadimo	2010-12-17 18:21
Story	The Fortress Language Spec v0.618 Language Representation by Neil Madden	Dave Herman	2010-12-13 04:24
Forum topic	languages with call by value only (and maybe closures)? Tcl by Neil Madden	windozer	2010-12-10 00:08
Forum topic	Static Typing Where Possible, Dynamic Typing When Needed Types as functions? by Neil Madden	Isaac Gouy	2010-04-20 22:32
Forum topic	Why type systems are interesting Nice by Neil Madden Exactly by Neil Madden Not true by Neil Madden Implementation hiding by Neil Madden Not a solution by Neil Madden Example by Neil Madden Imperfect/incomplete knowledge by Neil Madden	Anton van Straaten	2010-03-08 19:47
Forum topic	ruby vs python Because locking an operation by Neil Madden	shahbaz	2009-09-21 10:28
Forum topic	The Church-Turing Thesis: Breaking the Myth Will you answer "no" to this question? by Neil Madden	naasking	2009-07-18 00:45
Forum topic	Explaining monads Ahhh! by Neil Madden Still don't quite get it by Neil Madden	Ehud Lamm	2009-01-30 11:43
Forum topic	New Programming Language Idea Prolog by Neil Madden	Lee Chou	2009-01-14 09:06
Story	Functional building blocks as concurrency patterns I know by Neil Madden Transactions by Neil Madden	Peter Van Roy	2008-12-05 15:58
first page previous page next page last page

---

Logs: Hack The Planet ; JavaLobby ; Daily Python-URL ; Daily WTF ; PHP everywhere ; (more)
Wikis: WikiWiki ; Erlang ; Common Lisp ; Haskell ; Squeak ; Tcl ; Program Transformation