Lambda the Ultimate

type	title	author	last post
Story	Can a Biologist Fix a Radio? Computer Science under the Microscope by Hank Thediek	James Iry	2010-03-04 03:17
Story	Computing Needs Time Agreed by Hank Thediek	Allan McInnes	2010-02-02 18:50
Forum topic	The Nature of Lisp (a tutorial) bridging the gap by Hank Thediek Language currents by Hank Thediek	coffeemug	2010-01-01 01:41
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
Story	History of Logic Programming: What went wrong, What was done about it, and What it might mean for the future I found this interesting by Hank Thediek A much better rendition of by Hank Thediek An interpretation by Hank Thediek The future of logic programming by Hank Thediek	Ehud Lamm	2009-05-18 00:02
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
Story	Programming Language Beauty: Look Closure It is "folk lore" in by Hank Thediek	Erik Meijer	2008-11-10 21:09
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	program verification: the very idea Annotation systems by Hank Thediek Research by Hank Thediek Physical semantics by Hank Thediek Edit: And don't forget to by Hank Thediek I only just briefly read by Hank Thediek Cultures, by Hank Thediek Point of view by Hank Thediek Semantic verification by Hank Thediek	el-vadimo	2008-09-30 18:52
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
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