Lambda the Ultimate

type	title	author	last post
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
Story	Simon Peyton Jones: Beautiful concurrency Trying to "get it" by Hank Thediek	Ehud Lamm	2008-06-03 09:53
Story	Computational Thinking By all means! by Hank Thediek Unifying theory by Hank Thediek	Daniel Yokomizo	2008-06-02 23:50
Story	The irreducible physicality of security properties Notes by Hank Thediek Parallels by Hank Thediek	Charles Stewart	2008-05-18 14:42
Forum topic	future history of logic programming An interesting spin on logic by Hank Thediek	el-vadimo	2008-05-08 11:59
Forum topic	A Cybernetics DSL? Rather than solve the by Hank Thediek You might be interested in by Hank Thediek	noisesmith	2008-04-30 15:42
Forum topic	Lisp Lovers, how would you fix Lisp or bring it up to date? More characters by Hank Thediek	Ben Atkin	2008-04-29 03:20
Forum topic	On Presenting Operational Semantics The method goes back a long by Hank Thediek ASMs by Hank Thediek	cdiggins	2008-04-25 21:57
Forum topic	Proving compositions X-machines by Hank Thediek Specification by Hank Thediek It is a confusing question. by Hank Thediek Interesting paper. by Hank Thediek abstraction by Hank Thediek	Hank Thediek	2008-04-20 14:05
Story	When Are Two Algorithms the Same? Proof of the Church-Turing(ASM) thesis by Hank Thediek	Ehud Lamm	2008-03-29 14:16
Story	Foundations for Structured Programming with GADTs Monads for programming by Hank Thediek	neelk	2008-03-17 21: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