Lambda the Ultimate

type	title	author	last post
Forum topic	Gamma formalism If I understood correctly by Hank Thediek	Kay Schluehr	2006-07-28 22:35
Forum topic	OOP Parallel class hierarchies Target domain semantics by Hank Thediek	dataangel	2006-07-18 19:50
Story	computerhistory's History of LISP Cross Assembly by Hank Thediek	Rys McCusker	2006-07-18 01:46
Forum topic	Sociology of a Language Construct The meaning of action by Hank Thediek Whatever? by Hank Thediek	Ehud Lamm	2006-07-13 01:14
Forum topic	Community enforcement discussion "Community"? by Hank Thediek I think I understand what by Hank Thediek A sense of humor by Hank Thediek	Anton van Straaten	2006-07-12 13:59
Forum topic	What are the real benefits of FP? Ashby's Introduction to Cybernetics by Hank Thediek Hybrid systems by Hank Thediek But this approach just by Hank Thediek The cybernetic approach by Hank Thediek I don't mean to imply that by Hank Thediek A Paradigm for a "new age" by Hank Thediek Serial/parallel decomposition by Hank Thediek	dataangel	2006-07-09 20:03
Forum topic	Amusing question The answer to the above OP by Hank Thediek The question this raises for by Hank Thediek Coabgebra is something by Hank Thediek For the sake of discussion by Hank Thediek	Ehud Lamm	2006-07-08 19:19
Story	Gottfried Wilhelm Leibniz Pythagorianism by Hank Thediek	Niels Hoogeveen	2006-07-01 15:34
Story	The Origins and Nature of Computation What is a computer? by Hank Thediek	Ehud Lamm	2006-06-29 20:11
Forum topic	Church-Turning is False? Computability Logic by Hank Thediek Programming as an art by Hank Thediek Termination Analysis by Hank Thediek	Bryan Turner	2006-06-28 09:36
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
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