Lambda the Ultimate

type	title	author	last post
Forum topic	Google Web Toolkit Meta-Linguistic Abstraction as Compatibility-Code Encapsulation by Paul Snively	Jess Austin	2006-08-20 22:10
Forum topic	automatic theorem proving There I Go Again! by Paul Snively Right Again :-) by Paul Snively Oops! by Paul Snively You're On the Right Track! by Paul Snively I'm Sure It Is! by Paul Snively Yep! by Paul Snively Basically Right by Paul Snively	Curtis W	2006-08-09 14:01
Forum topic	Overloading : Why do some languages leave it out? The Mathematics Space by Paul Snively	cdiggins	2006-08-08 21:28
Story	eWeek: Sun Digging Deep for Dynamic Language Support Yep by Paul Snively	Ehud Lamm	2006-08-05 07:02
Story	LtU turns six! Second by Paul Snively	Ehud Lamm	2006-07-30 13:20
Story	Revealing the X/O impedance mismatch Sung to the Tune Of? by Paul Snively	Ehud Lamm	2006-07-22 23:15
Story	The right default: concurrent components with message passing Good Question! by Paul Snively Sorry! by Paul Snively Domains by Paul Snively John Carter: Before CCWMP can by Paul Snively Fail-Only? by Paul Snively Shared-State Concurrency, or C++? by Paul Snively REST and Ramblings on Sequentiality by Paul Snively Concurrency and Distribution by Paul Snively Claims vs. Non-Claims by Paul Snively Strength and Failure by Paul Snively ...	Peter Van Roy	2006-07-22 16:37
Story	A Core Calculus for Scala Type Checking True by Paul Snively Things Descendants of Smalltalk Forgot by Paul Snively	Niels Hoogeveen	2006-07-22 15:59
Forum topic	First Class Values, Types as values within a Programming Language For the Example Given, Good Points by Paul Snively True as far as it goes by Paul Snively Look Up for Counterexample by Paul Snively AFAIK by Paul Snively Sounds Like the Expression Problem Again by Paul Snively	Bruce Rennie	2006-07-20 00:50
Forum topic	OOP Parallel class hierarchies Fair Enough by Paul Snively Yes by Paul Snively Back to the Books by Paul Snively Yes, That's the Analogy by Paul Snively Reasons Not to Continue by Paul Snively Too Much... by Paul Snively Correct, I Think by Paul Snively "Syntax" by Paul Snively In Fairness... by Paul Snively Reflection by Paul Snively ...	dataangel	2006-07-18 19:50
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
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