Lambda the Ultimate

type	title	author	last post
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
Story	Lambda: The Semantics Tool Question by Hank Thediek	Ehud Lamm	2007-08-01 03:29
Story	A Natural Axiomatization of Church's Thesis semantics by Hank Thediek logic and knowledge by Hank Thediek Misquote by Hank Thediek In knowledge representation by Hank Thediek Thesis or theorem? by Hank Thediek Proof of what? by Hank Thediek Agreed by Hank Thediek What is accepatble C-T by Hank Thediek On Topic by Hank Thediek Foundations by Hank Thediek	Ehud Lamm	2007-07-20 13:12
Forum topic	Pirahã living-in-the-present language In reading this story I was by Hank Thediek	Isaac Gouy	2007-07-01 16:25
Forum topic	Distributed Objects vs. Messaging More errors by Hank Thediek Not so difficult by Hank Thediek What kind of unreliability? by Hank Thediek To get an idea of how by Hank Thediek	raould	2007-06-23 12:01
Forum topic	Why people don't use functional programming? Lists. by Hank Thediek	Gergely Buday	2007-06-09 16:40
Story	Interactivity considered harmful Ambiguous? by Hank Thediek	Jacques Carette	2007-05-21 20:15
Story	Lisp is sin You understand it and it is O by Hank Thediek People learning Lisp think th by Hank Thediek Lisp doesn't represent lists by Hank Thediek	Ehud Lamm	2007-05-19 19:51
Forum topic	Thoughts about the Best Introductory Language Things by Hank Thediek	shlomif	2007-05-01 05:23
Story	The design of C++0x Wah? by Hank Thediek Impossible languages by Hank Thediek	Ehud Lamm	2007-04-20 16:08
Forum topic	Expect New Major Language Within Five Years Situation Language by Hank Thediek	Anton van Straaten	2007-04-17 01:00
Forum topic	Deliverable code? one shot code; by Hank Thediek More in the way of muddy by Hank Thediek Muddy waters by Hank Thediek Still active! TenDRA by Hank Thediek	Hank Thediek	2007-04-16 11:52
Forum topic	Dynamic Semantics Paraconsistent by Hank Thediek Hidden Algebra by Hank Thediek	Hank Thediek	2007-04-07 22:57
Story	Ed Felten: Why Understanding Programs is Hard It has always seemed to me by Hank Thediek	Ehud Lamm	2007-03-08 19:08
Forum topic	Literature on recovering grammars? Syntactic Pattern Recognition by Hank Thediek	Holgly Morgan	2007-02-26 13:24
Forum topic	Automata-Based Programming Action Languages by Hank Thediek Reinventing the Wheel by Hank Thediek Semantics of state by Hank Thediek	Hank Thediek	2007-02-22 17:13
Story	The Landscape of Parallel Computing Research: A View from Berkeley What is a "Dwarf" by Hank Thediek	Ehud Lamm	2007-02-10 18:35
Story	Separation Logic: A Logic for Shared Mutable Data Structures Trouble with the link? by Hank Thediek	neelk	2007-02-04 05:34
Story	Ralf Lammel: Stop dysfunctional programming What goes around; comes around by Hank Thediek	Ehud Lamm	2007-01-29 11:16
Forum topic	Why Are ALL Programming Languages So Low Level? "Thing-ness" by Hank Thediek Signal flow computing is of by Hank Thediek To me this sounds a lot like by Hank Thediek Maybe there is an approach by Hank Thediek Things change the world by Hank Thediek	Vorlath	2007-01-16 22:41
Forum topic	Call by push-value A Pattern? by Hank Thediek	Denis Bredelet -jido	2007-01-16 11:07
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