Lambda the Ultimate

type	title	author	last post
Story	Deconstructing Process Isolation Is isolation the only way? by Hank Thediek	Ehud Lamm	2006-04-26 22:36
Forum topic	Purity in PLT Propagation of constraints by Hank Thediek Goals not mentioned. by Hank Thediek	Jim Apple	2006-04-08 10:56
Story	Uniform Proofs as a Foundation for Logic Programming Take one by Hank Thediek	Charles Stewart	2006-04-03 12:18
Forum topic	help from language people No single solution by Hank Thediek To me, one of the nice by Hank Thediek backward chaining languages by Hank Thediek Unexpected and Unintended by Hank Thediek	gmol	2006-03-29 15:35
Forum topic	Chu Spaces My point was the similarity by Hank Thediek Mathematical formality by Hank Thediek Musings by Hank Thediek	Derek Elkins	2006-02-17 02:31
Forum topic	Scoping based on control flow graph Is this really about dynamic by Hank Thediek	rici	2006-02-08 19:55
Forum topic	What is a Proposition? Pragmatically speaking by Hank Thediek I like to think of analytic l by Hank Thediek	andrew cooke	2006-02-03 17:04
Forum topic	Types and reflection Why not? by Hank Thediek	andnaess	2005-12-14 08:23
Story	Envisioning a New Language: A Conversation With Victoria Livschitz Take one: by Hank Thediek	Ehud Lamm	2005-12-11 23:52
Story	Putting Curry-Howard to Work Logic programming by Hank Thediek	Andris Birkmanis	2005-11-21 18:55
Story	What good is Strong Normalization in Programming Languages? "One to One" matching by Hank Thediek	shapr	2005-11-18 18:06
Story	American lecture tour gets real “Because a wide variety of by Hank Thediek	Peter Van Roy	2005-11-12 00:28
Forum topic	Scalability Complexity?? by Hank Thediek 2) A secondary issue, of cou by Hank Thediek An interesting article appear by Hank Thediek	genneth	2005-10-20 15:26
Story	Propositional Satisfiability and Constraint Programming: A comparative Survey Greatly appreciate links like by Hank Thediek	Ehud Lamm	2005-10-05 20:17
Forum topic	Debuging state. Omniscient debugging sounds i by Hank Thediek	Hank Thediek	2005-10-03 14:26
Story	LtU: Style and Focus Troll?? by Hank Thediek	Ehud Lamm	2005-09-29 22:03
Forum topic	Ruby: Language of the Programming Ãœbermensch? The philosophy is interesting by Hank Thediek	Nathan Sobo	2005-09-27 19:41
Story	RPC Under Fire The RPC problem is a perfect by Hank Thediek	Ehud Lamm	2005-09-23 16:58
Forum topic	Functional multi-method programming language What about Oz and/or Mercury by Hank Thediek My point is that in the 21’ by Hank Thediek In my opinion there is a hidd by Hank Thediek	Matt OConnor	2005-09-21 08:59
Forum topic	Ivory Towers and Gelfand's Principle Another solution is to write by Hank Thediek Knowledge based programming by Hank Thediek	Leon P Smith	2005-09-03 14:13
Forum topic	Does Abstraction add Fuzziness? In computer science everythin by Hank Thediek Abstraction doesn't add fuzzy by Hank Thediek	mansu	2005-08-29 20:17
Forum topic	Coupling of concepts - good or bad Well there is a difference be by Hank Thediek Think about a program to cont by Hank Thediek There is a phylosophical side by Hank Thediek	Andris Birkmanis	2005-08-09 19:24
Forum topic	Mercury Vs Prolog Thanks. In a logical or mathe by Hank Thediek Instead of using resolution a by Hank Thediek For me Prolog has always been by Hank Thediek Although Prolog is advertise by Hank Thediek	NoobProgrammer	2005-08-09 16:11
Forum topic	On the Revival of Dynamic Languages Does it help to say that the by Hank Thediek	Isaac Gouy	2005-08-03 18:41
Forum topic	The Simplicity of Concurrency A similar mechanism exists in by Hank Thediek	Cory Bloyd	2005-08-02 17:54
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