Lambda the Ultimate

type	title	author	last post
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
Forum topic	Computing is a Natural Science A bit more "clarification". by Hank Thediek ????????? by Hank Thediek Soft-ware by Hank Thediek Theory or practice by Hank Thediek Domains by Hank Thediek The terminology here is too by Hank Thediek Definitions by Hank Thediek Science is reusable by Hank Thediek The System by Hank Thediek Metaphors by Hank Thediek	Hank Thediek	2007-10-15 20:49
Story	An Overview of the Singularity Project Perfection or perception by Hank Thediek	Ehud Lamm	2007-10-12 19:45
Story	Tim Bray and Erlang Great Question by Hank Thediek LAP by Hank Thediek	Ehud Lamm	2007-10-09 21:30
Story	Binary Lambda Calculus and Combinatory Logic Other tools by Hank Thediek	Chris Rathman	2007-09-28 23:59
Forum topic	Stutter Invariance wiki says by Hank Thediek	mohan_vbh	2007-09-15 11:01
Forum topic	What is a state? Strikingly different by Hank Thediek Just Boxes by Hank Thediek OK, I am not sure what we by Hank Thediek More by Hank Thediek Sameness by Hank Thediek Analytic by Hank Thediek Context switches: by Hank Thediek Page 7, item 1: by Hank Thediek Apologies by Hank Thediek "is there an argument for by Hank Thediek ...	Hank Thediek	2007-09-07 13:41
Story	No Name: Just Notes on Software Reuse Changes by Hank Thediek Synthetic and Analytic by Hank Thediek An end to tragic melodrama by Hank Thediek	Ehud Lamm	2007-09-05 13:45
Forum topic	Monad Description For Imperative Programmer Formality with Types by Hank Thediek Monads are: by Hank Thediek ADT's by Hank Thediek Yea! by Hank Thediek Is that an agreement or a by Hank Thediek Spin by Hank Thediek	kaveh.shahbazian	2007-08-22 18:10
Forum topic	Formal methods for O/R mapping "do you think that PLT commun by Hank Thediek	Andris Birkmanis	2007-08-19 00:29
Story	The Karmasphere DP language Names by Hank Thediek	Philippa Cowderoy	2007-08-07 19:04
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