Lambda the Ultimate

type	title	author	last post
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
Story	Programmers At Work Structure or content by Hank Thediek	Ehud Lamm	2008-03-03 01:52
Forum topic	Union types in Java? Thanks by Hank Thediek	Hank Thediek	2008-02-28 09:01
Forum topic	How useful is reflection, anyway? Types by Hank Thediek Reflection in Java by Hank Thediek Dotted pairs require by Hank Thediek Pointers anyone? by Hank Thediek	Scott Johnson	2008-01-31 18:41
Forum topic	poll: syntax Thought by Hank Thediek	Givas	2008-01-25 02:00
Story	What do you mean by studying "programming languages"? The question of semantics of by Hank Thediek	Ehud Lamm	2008-01-22 18:34
Story	CUFP write-up Language apps by Hank Thediek Getting to the point by Hank Thediek	Ehud Lamm	2007-12-17 01:27
Story	Witnessing Side-Effects Communicative acts semantics by Hank Thediek This and nothing else by Hank Thediek	neelk	2007-11-25 07:58
Story	Gödel, Nagel, minds and machines Relationships by Hank Thediek Usefull or Intelligent by Hank Thediek Information Theory by Hank Thediek Well, basically your agenda by Hank Thediek Synthesis by Hank Thediek Activity theory by Hank Thediek Link by Hank Thediek Identity by Hank Thediek Bourbaki set theory by Hank Thediek As another poster stated, by Hank Thediek ...	Ehud Lamm	2007-11-22 08:09
Story	Squeaky Tales Activity representations by Hank Thediek	Luke Gorrie	2007-11-09 15:15
Forum topic	Co-Logic Programming Will we be talking about by Hank Thediek	Gavin Mendel-Gleason	2007-10-27 07: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