Lambda the Ultimate

type	title	author	last post
Story	Inductive Synthesis of Functional Programs: An Explanation Based Generalization Approach Shapiro's Algorithmic Program Diagnosis by Greg Buchholz	Noel	2007-11-21 17:40
Story	Binary Lambda Calculus and Combinatory Logic Fruit by Greg Buchholz Obligatory.. by Greg Buchholz	Chris Rathman	2007-09-28 23:59
Forum topic	Yearning for a practical scheme Linear Lisp by Greg Buchholz	Nathan Sobo	2007-08-27 03:37
Forum topic	Metaobject protocols: Why we want them and what else they can do	Greg Buchholz	2007-08-16 07:43
Story	From abstract interpretation to small-step typing Type systems as Aspects? by Greg Buchholz	Chung-chieh Shan	2007-07-25 02:34
Forum topic	Whoever does not understand LISP, is doomed to reinvent it. Complications by Greg Buchholz	kaveh.shahbazian	2007-07-22 19:46
Forum topic	Why people don't use functional programming? I think there's probably by Greg Buchholz Formless blobs. by Greg Buchholz And some starter threads... by Greg Buchholz [∃x(x)] by Greg Buchholz Haskell declarations? by Greg Buchholz Magic Numbers & Fault Density? by Greg Buchholz Personal Experience? by Greg Buchholz	Gergely Buday	2007-06-09 16:40
Forum topic	Total Functional Programming *Almost* by Greg Buchholz What About the Natural Numbers by Greg Buchholz 2/3's the way there? by Greg Buchholz Induction on naturals? by Greg Buchholz	Greg Buchholz	2007-05-27 20:18
Forum topic	Can referential transparency be bad? (puzzle included) Trouble Shared is Trouble Halved by Greg Buchholz	Andris Birkmanis	2007-05-12 00:53
Forum topic	Non-Applicative Functional Languages Can Programming Be Liberated from the von Neumann Style? by Greg Buchholz	cdiggins	2007-03-09 17:18
Forum topic	Automatic termination proofs for programs with shape-shifting heaps	Greg Buchholz	2007-02-12 20:44
Story	Programming Shorthands Implementation in Lisp by Greg Buchholz Best language to write this in? by Greg Buchholz Zip Comprehensions by Greg Buchholz Inside-out by Greg Buchholz	James Hague	2007-02-10 00:09
Story	Termination Checking with Types ¬FSM? by Greg Buchholz	neelk	2007-02-09 20:53
Story	Generic Programming, Now! Closer? by Greg Buchholz Haskell by Greg Buchholz	Ehud Lamm	2007-02-02 23:34
Story	A Visual Environment for Developing Context-Sensitive Term Rewriting Systems Renumbering vs. Renaming by Greg Buchholz	Ehud Lamm	2007-01-23 19:15
Forum topic	Have I Missed Something ? Comonads? by Greg Buchholz	seancharles	2007-01-22 23:06
Forum topic	Missing style for <quote>?	Greg Buchholz	2007-01-04 04:35
Forum topic	(Even more) theorems for free? Hoogle by Greg Buchholz	Andris Birkmanis	2007-01-03 21:55
Forum topic	Metrics for Programmatic Complexity? Cyclomatic Complexity by Greg Buchholz	johnnyb	2007-01-03 16:34
Forum topic	Type inference and unification algorithms PLAI by Greg Buchholz	procyon	2007-01-03 00:19
Forum topic	hypothetical question What kind of work? by Greg Buchholz	Jeff Cutsinger	2007-01-02 07:14
Forum topic	Transparent Persistence Details by Greg Buchholz A type system for bounded by Greg Buchholz	playergiro	2006-12-20 17:31
Forum topic	unchecked exceptions are like runtime type checking? You need a fancier type for foo... by Greg Buchholz	lumpynose	2006-12-13 09:40
Forum topic	Extremely static language? Probabilistic Type Systems? by Greg Buchholz	viergroupie	2006-12-09 01:28
Forum topic	Why type systems are interesting - part II Implicit Configurations by Greg Buchholz Even Number Type by Greg Buchholz Automatic Algorithm Inference by Greg Buchholz sorted-list type by Greg Buchholz Haskell typing by Greg Buchholz Haskell and typing by Greg Buchholz	Ehud Lamm	2006-12-08 01:38
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