Lambda the Ultimate

type	title	author	last post
Forum topic	Functional programming and software engineering What? by Hank Thediek After looking over Shriram by Hank Thediek Guess by Hank Thediek OK, this raises one last by Hank Thediek Hidden Loops by Hank Thediek OK.. This is getting deep, by Hank Thediek However, nothing stops you by Hank Thediek "Liberation from the state transition style" by Hank Thediek See above by Hank Thediek Example by Hank Thediek ...	Kay Schluehr	2006-11-20 17:36
Story	Sun Open Sources Java Platform What next? by Hank Thediek	Ehud Lamm	2006-11-18 09:51
Story	A rationale for semantically enhanced library languages A noteworthy special case of by Hank Thediek	Ehud Lamm	2006-11-06 07:50
Forum topic	I "got" imperative programming throught data binding What does it mean in practice? by Hank Thediek A simple answer by Hank Thediek Forward Chaining by Hank Thediek	Tiago Simoes	2006-10-26 15:26
Forum topic	Ralph Griswold died Regular expresions vs. Lisp/Prolog by Hank Thediek	Boyko Bantchev	2006-10-22 23:39
Story	Failure-oblivious computing Oh; by Hank Thediek Non-termination by Hank Thediek	Anton van Straaten	2006-10-04 20:21
Story	Misc News Bottom-up or Top-down? by Hank Thediek	Ehud Lamm	2006-09-10 21:02
Forum topic	generating interpreters, IDEs, etc., from simple specifications? Did you notice 3APL? by Hank Thediek	shahbaz	2006-08-23 14:34
Forum topic	Escape sequence for XML	Hank Thediek	2006-08-20 15:41
Forum topic	3APL	Hank Thediek	2006-08-18 21:30
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
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