Lambda the Ultimate

type	title	author	last post
Forum topic	How are GADTs useful in practical programming? logic programming by Hank Thediek	Klaus Ostermann	2006-06-21 13:31
Forum topic	Relevance of Curry-Howard What is a logic program by Hank Thediek Unification by Hank Thediek Thanks for the link by Hank Thediek "That's exactly the reason I by Hank Thediek One to one unification and termination? by Hank Thediek semantics and databases by Hank Thediek Deep expression by Hank Thediek You arn't geeting me in a by Hank Thediek Soundness by Hank Thediek I need a little help by Hank Thediek ...	Klaus Ostermann	2006-06-12 13:36
Forum topic	Buried Treasure - No Fluff Just Stuff Program specialization by Hank Thediek To compile or not to compile by Hank Thediek A dynamic language like by Hank Thediek Semantics by Hank Thediek Types as expression by Hank Thediek traction by Hank Thediek	Isaac Gouy	2006-06-08 03:44
Forum topic	Type checking and logical errors Now that is exciting! Thanks. by Hank Thediek Soundness by Hank Thediek Granting all that does the by Hank Thediek Crashes by Hank Thediek	Mike Smith	2006-06-05 21:16
Story	Continuations for Parallel Logic Programming The thing I like about logic by Hank Thediek	Andris Birkmanis	2006-06-03 20:05
Forum topic	Ethnographic Study of Copy and Paste Programming Practices in OOPL Semantic levels by Hank Thediek	Vesa Karvonen	2006-05-26 19:13
Story	Syntax, Semantics and all that Stuff Rules, rules, rules by Hank Thediek	Andris Birkmanis	2006-05-26 09:21
Forum topic	The Nature of Lisp (a tutorial) bridging the gap by Hank Thediek Language currents by Hank Thediek	coffeemug	2006-05-18 23:38
Forum topic	Lambda the Ultimate Set Comprehension The point that monadic logic by Hank Thediek Don't skip class! by Hank Thediek Automata Theory by Hank Thediek	xyzzy	2006-05-17 06:05
Story	Rethinking Linguistic Relativity The tri-fold conundrum by Hank Thediek Language ambivalence by Hank Thediek Languages are different! by Hank Thediek	Ehud Lamm	2006-05-02 06:19
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
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