Lambda the Ultimate

type	title	author	last post
Story	computerhistory's History of LISP Wait, It Gets Better! by Paul Snively	Rys McCusker	2006-07-18 01:46
Story	Zipper-based file server/OS Oleg, Lydia, and Jacques Rock by Paul Snively Awesome! by Paul Snively Not Quite by Paul Snively Excellent News! by Paul Snively Graydon Hoare Got it Right by Paul Snively These are a Good Start... by Paul Snively Other Implementations by Paul Snively	shapr	2006-07-13 10:13
Story	Socially Responsive, Environmentally Friendly Logic Rough Guesses by Paul Snively	Andris Birkmanis	2006-07-13 09:06
Forum topic	How do Java generics correspond to System F-(omega)? Don't Hesitate by Paul Snively	Chung-chieh Shan	2006-07-12 22:39
Story	Abstracting Allocation: The New new Thing Economics by Paul Snively Fair Enough by Paul Snively Granted by Paul Snively Machine Obstructed Proof by Paul Snively Also Noticed by Paul Snively Related Work by Paul Snively	Ehud Lamm	2006-07-12 20:28
Forum topic	The World's Most Maintainable Programming Language IMHO, You Got Trapped... by Paul Snively	raould	2006-07-11 22:20
Forum topic	What are the real benefits of FP? :-) by Paul Snively All I'll Add Here... by Paul Snively No Worries! by Paul Snively Good Question! by Paul Snively OK by Paul Snively Non-Pure is Key Point by Paul Snively (Re)iteration by Paul Snively Achilleas and the Zipper by Paul Snively Honestly by Paul Snively Quite Right by Paul Snively ...	dataangel	2006-07-09 20:03
Forum topic	Amusing question Tongue Mostly in Cheek by Paul Snively I'd Barely Say... by Paul Snively	Ehud Lamm	2006-07-08 19:19
Story	'Information and Computation' Open Access Inflection Point by Paul Snively	Frank Atanassow	2006-07-05 23:13
Forum topic	Oxymoronic? "Safety-critical development guidelines for real-time Java" Briefly... by Paul Snively Keeping in Mind That Safety is Relative... by Paul Snively	raould	2006-07-01 15:52
Story	Gottfried Wilhelm Leibniz Optimism by Paul Snively	Niels Hoogeveen	2006-07-01 15:34
Story	Scheme Language Steering Committee Report to the Community Interesting by Paul Snively	Anton van Straaten	2006-06-26 23:14
Forum topic	Rules for Developing Safety-Critical Code Yep by Paul Snively Reducible to One Rule by Paul Snively	Peter J. Wasilko	2006-06-25 21:26
Forum topic	The OO barrier Au Contraire! by Paul Snively Undecidable by Paul Snively Brief, Superficial Point by Paul Snively Except, Probably... by Paul Snively Objects? by Paul Snively	snk_kid	2006-06-22 14:07
Forum topic	How are GADTs useful in practical programming? It's Kind of Hard to Say by Paul Snively	Klaus Ostermann	2006-06-21 13:31
Forum topic	Why only 'minimal' languages Interesting Question! by Paul Snively	Karsten Wagner	2006-06-19 15:33
Forum topic	ML Modules and Haskell Type Classes: A Constructive Comparison Very Cool! by Paul Snively	Greg Buchholz	2006-06-18 00:51
Forum topic	Relevance of Curry-Howard Wow by Paul Snively	Klaus Ostermann	2006-06-12 13:36
Forum topic	emulation for Erlang style processes Maybe Related? by Paul Snively	Rys McCusker	2006-06-11 03:01
Forum topic	Multidimensional Virtual Classes Sure by Paul Snively Sure by Paul Snively Yep by Paul Snively Nice Isomorphisms Between Typeclasses and O'Caml Modules by Paul Snively I'll Happily Try by Paul Snively	Niels Hoogeveen	2006-06-10 06:39
Forum topic	Buried Treasure - No Fluff Just Stuff Smalltalk vs. Curtis vs. O'Caml by Paul Snively Driving Towards Specifics by Paul Snively Broadly... by Paul Snively No, On Two Counts by Paul Snively Outside World by Paul Snively It's Hard to Compete... by Paul Snively Point of Divergence by Paul Snively Invented vs. Discovered by Paul Snively In Dr. Hofstadter's Defense... by Paul Snively Senses of "Static" by Paul Snively ...	Isaac Gouy	2006-06-08 03:44
Forum topic	Type checking and logical errors Sure It Does by Paul Snively LOL by Paul Snively Thanks! by Paul Snively You Do Need the Proxy... by Paul Snively Stipulation by Paul Snively Never Say Never by Paul Snively I'll Try to Say This Politely by Paul Snively	Mike Smith	2006-06-05 21:16
Forum topic	Javascript department I Know It's a Joke by Paul Snively	Ehud Lamm	2006-06-04 18:54
Forum topic	yet another noob via "little lisper" and scheme Tertiary Benefits by Paul Snively If You Had to Save For a Year... by Paul Snively	danmcb	2006-06-01 09:58
Story	Proofs are Programs: 19th Century Logic and 21st Century Computing Yes... by Paul Snively Easy! by Paul Snively	shapr	2006-05-30 17:35
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