Lambda the Ultimate

type	title	author	last post
Forum topic	Static Typing Where Possible, Dynamic Typing When Needed What's so bad about rule programming? by Hank Thediek	Isaac Gouy	2010-04-20 22:32
Story	Can a Biologist Fix a Radio? Computer Science under the Microscope by Hank Thediek	James Iry	2010-03-04 03:17
Forum topic	Question: Graceful error recovery during parsing There are two ways to think a by Hank Thediek	Nathan Sobo	2009-12-16 18:30
Forum topic	Academic Commons	Hank Thediek	2009-08-02 14:34
Story	In the Land of Invented Languages Semantics by Hank Thediek What is the agenda? by Hank Thediek Analogy by Hank Thediek	Chris Rathman	2009-07-23 03:23
Forum topic	Trade-offs with abstraction Physicality is useful by Hank Thediek	Charles Stewart	2009-07-15 00:32
Forum topic	Semantics: Logic vs. PL Calculus in Coinductive Form by Hank Thediek	Ohad Kammar	2009-06-27 14:17
Story	Why a diagram is (sometimes) worth ten thousand words Separation? by Hank Thediek Old Fashioned? by Hank Thediek	Ehud Lamm	2009-06-18 20:33
Story	Lectures on Jacques Herbrand as a Logician Herbrand's Logic? by Hank Thediek Herbrand Logic by Hank Thediek	Charles Stewart	2009-06-11 17:42
Forum topic	What do you believe about Programming Languages (that you can't prove (yet))? What is real? by Hank Thediek Functional and rule systems by Hank Thediek Goal orientation by Hank Thediek	John Carter	2009-05-23 23:23
Forum topic	Viable System Architecture	Hank Thediek	2009-04-26 23:49
Story	Elephant 2000: A Programming Language for the year 2015 Based on Speech Acts To reduction, or not to reduce? by Hank Thediek Do you want to buy AI? by Hank Thediek	Ehud Lamm	2009-04-20 07:43
Forum topic	Challenges	Hank Thediek	2009-04-16 13:27
Forum topic	Dynamic Logic Slides by Hank Thediek Thanks for the info. The by Hank Thediek	Hank Thediek	2009-03-08 14:12
Forum topic	Cybernetics and AI	Hank Thediek	2009-02-01 17:01
Forum topic	Light(er) Reading Suggestions? LISP by Hank Thediek	Bruce Miller	2008-12-13 01:54
Forum topic	yet another oop formalization: class as abstract automata The .pdf version of the by Hank Thediek	A. G. Piskunov	2008-11-25 20:27
Forum topic	Object Oriented Programming + Referential Transparency Gather and thread? by Hank Thediek	mjstahl	2008-10-30 17:40
Forum topic	Common Lisp Exception Handling Berkeley ROC by Hank Thediek	SamK	2008-10-20 00:55
Story	Safe and Secure Software in Ada This is a interesting link by Hank Thediek I don't get it. Your linked by Hank Thediek How can you hope to by Hank Thediek Also, I would add that by Hank Thediek I am constantly amaized at by Hank Thediek	Ehud Lamm	2008-09-26 19:38
Forum topic	Let's make a programming language! Interior Decoration by Hank Thediek	Achilleas Margaritis	2008-09-12 09:21
Story	Programming Language Beauty: Look Closure It is "folk lore" in by Hank Thediek	Erik Meijer	2008-09-10 04:01
Forum topic	Is it a Programming Language? Do you know what your semantics is? by Hank Thediek	Ashley McNeile	2008-08-26 22:55
Story	Why Multi-Core is Easy and Internet is Hard Anthropomorphisms by Hank Thediek	Peter Van Roy	2008-07-03 06:55
Story	Computation and the Periodic Table An interesting related Ltu by Hank Thediek	Daniel Yokomizo	2008-06-21 16:16
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