Lambda the Ultimate

type	title	author	last post
Forum topic	Object Oriented Programming + Referential Transparency Fixing some space leaks with a garbage collector by Greg Buchholz	mjstahl	2008-10-30 17:40
Forum topic	Systems programming in languages other than C? Cyclone by Greg Buchholz	Gregory Propf	2008-08-05 19:58
Forum topic	Type classes and type generator restrictions No place to put context by Greg Buchholz Different from Haskell? by Greg Buchholz	Douglas McClean	2008-07-28 09:02
Forum topic	In search for a programming language to replace spreadsheets. QCalc by Greg Buchholz	Søren Haagerup	2008-07-24 18:52
Forum topic	Type system that can type list structure? Nested data types by Greg Buchholz	scottmcl	2008-07-01 14:40
Forum topic	Lisp Lovers, how would you fix Lisp or bring it up to date? Common Lisp by Greg Buchholz	Ben Atkin	2008-04-29 03:20
Forum topic	Languages best suited for scientific computing? ZPL? by Greg Buchholz	JustinTrellis	2008-04-24 18:59
Story	Simply efficient functional reactivity Labview? by Greg Buchholz	Matt Hellige	2008-04-10 05:53
Forum topic	Axioms and Theorems for a Theory of Arrays	Greg Buchholz	2008-01-28 08:59
Forum topic	Early vs. late binding dogma/experiences? What is Late Binding? by Greg Buchholz	raould	2008-01-07 20:51
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
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