Lambda the Ultimate

type	title	author	last post
Forum topic	Other free theorems Partial application by Douglas McClean	Matt M	2012-10-05 12:00
Forum topic	Are scalars "just" degenerate matrices? I agree completely here. I'd by Douglas McClean Right, he shows that 1x1 by Douglas McClean [put this in reply to the by Douglas McClean Aha! Good point about not by Douglas McClean I don't see a reason to by Douglas McClean I agree, except that it by Douglas McClean	Douglas McClean	2012-09-22 21:38
Forum topic	"We Really Don't Know How to Compute!" by Gerald Sussman Recursive check is unnecessary? by Douglas McClean	puredanger	2011-11-19 23:37
Forum topic	Are extensible records first class patterns? I agree, it's exactly that by Douglas McClean Developing intuition about why by Douglas McClean	Douglas McClean	2011-11-07 03:49
Forum topic	Data, Codata, and Their Implications for Equality, and Serialization Reals by Douglas McClean Data? by Douglas McClean I agree by Douglas McClean	Douglas McClean	2011-10-14 15:45
Story	Invertible Syntax Descriptions: Unifying Parsing and Pretty Printing Constructors by Douglas McClean	James Iry	2011-02-05 00:39
Forum topic	The AST Typing Problem Foggy memory by Douglas McClean	shap	2011-01-19 03:15
Forum topic	Multiple Value Return - Common Lisp vs. Tuples and destructuring See also by Douglas McClean	scottmcl	2011-01-15 09:49
Forum topic	Overlapping instances without chaos	Douglas McClean	2010-12-31 00:03
Story	Haskell Researchers Announce Discovery of Industry Programmer Who Gives a Shit 36? by Douglas McClean	Ehud Lamm	2010-12-29 19:26
Forum topic	Babel-17 v0.2 spec is out Why have functions of no arguments? by Douglas McClean	Steven Obua	2010-12-11 00:22
Forum topic	Denotational semantics with other notions of convergence Operationally? by Douglas McClean	Neil Toronto	2010-07-04 10:11
Story	Compiling Structural Types on the JVM Link by Douglas McClean	James Iry	2010-07-02 05:05
Forum topic	Advantages of Purity Good question by Douglas McClean	giuseppemag	2010-03-24 17:11
Forum topic	Should let be generalized? Right on by Douglas McClean Good point by Douglas McClean	Douglas McClean	2010-03-12 21:18
Forum topic	Small PL Thought Experiment Possibilities by Douglas McClean	scottmcl	2010-03-11 18:11
Forum topic	Unifying map and mapM through subtyping? Great idea by Douglas McClean	Douglas McClean	2010-02-28 14:57
Story	Reminder: OOPSLA is now SPLASH Something else worth considering? by Douglas McClean	neelk	2010-02-22 23:35
Story	Continuity Analysis of Programs Exactly, so why insist that by Douglas McClean I'm not sure by Douglas McClean	neelk	2010-02-09 04:12
Forum topic	Depends on what "is" is Exactly. And, having by Douglas McClean Doesn't it depend on the definition of "not"? by Douglas McClean	andrewzboard	2010-02-03 18:16
Forum topic	Implementation of Cardelli and Daan Leijen Style Record Systems? On Citeseer by Douglas McClean	scottmcl	2009-12-14 21:20
Forum topic	I Seek a Reasonable Survey on the Concept of "Module System" Taking your broader point, by Douglas McClean	scottmcl	2009-11-18 15:51
Forum topic	Haskell Type Constraints Unleashed Seems like front page material to me by Douglas McClean	Greg Buchholz	2009-11-11 14:40
Forum topic	Branching constructs in intermediate languages Sounds right by Douglas McClean	Douglas McClean	2009-11-02 22:43
Story	Functional Programming Has Reached The Masses; It's Called Visual Basic Years later, exactly that happened by Douglas McClean	Erik Meijer	2009-11-01 20:12
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