Lambda the Ultimate

type	title	author	last post
Forum topic	Small PL Thought Experiment Cleanness by Andreas Rossberg Mystified by Andreas Rossberg	scottmcl	2010-03-11 18:11
Forum topic	Why type systems are interesting Formal language specs by Andreas Rossberg	Anton van Straaten	2010-03-08 19:47
Forum topic	Tony Hoare / Historically Bad Ideas: "Null References: The Billion Dollar Mistake" Maybe does not need to leak by Andreas Rossberg	raould	2010-03-05 22:19
Forum topic	NaNs and reflexivity Common problem by Andreas Rossberg	Bertrand_Meyer	2010-02-16 14:50
Forum topic	The Next Mainstream Programming Languages Non-solutions by Andreas Rossberg Except that... by Andreas Rossberg Now that is just as bad by Andreas Rossberg Oleg's example by Andreas Rossberg Briefly by Andreas Rossberg And all this is subclassing by Andreas Rossberg Call it what you want by Andreas Rossberg Ask the other way round by Andreas Rossberg In principle, yes by Andreas Rossberg Good questions by Andreas Rossberg ...	Per Vognsen	2010-01-24 13:32
Forum topic	Parameterized Modules Sufficiently smart IDE by Andreas Rossberg	cdiggins	2010-01-09 20:50
Forum topic	Explanation of Computer Theory for Lawyers Lawyers by Andreas Rossberg The equivalent to "program" by Andreas Rossberg What Type is your Value? by Andreas Rossberg	Scott Johnson	2010-01-05 19:12
Forum topic	Unfulfilled Promises of Software Technologies? (!) More like 30 by Andreas Rossberg	scottmcl	2010-01-02 01:09
Story	Objects as Modules in Newspeak Perhaps by Andreas Rossberg Modularity Basics by Andreas Rossberg Both forms are used by Andreas Rossberg Wish for the new year by Andreas Rossberg	James Iry	2009-12-27 23:52
Story	Eleven Theses on Clojure Genuine innovation by Andreas Rossberg	Ehud Lamm	2009-12-15 08:25
Forum topic	Implementation of Cardelli and Daan Leijen Style Record Systems? Right by Andreas Rossberg Not sure by Andreas Rossberg Misunderstanding? by Andreas Rossberg Encoding by Andreas Rossberg Ill-typed update by Andreas Rossberg "Generic programming on record types"? by Andreas Rossberg Poor man's row polymorphism by Andreas Rossberg Objects are records by Andreas Rossberg Record polymorphism by Andreas Rossberg In OO terms by Andreas Rossberg	scottmcl	2009-12-14 21:20
Story	John Hughes on Erlang and Haskell Still equivalent by Andreas Rossberg Equivalent problems by Andreas Rossberg In open distributed systems by Andreas Rossberg How does this differ? by Andreas Rossberg Greenspunning type systems by Andreas Rossberg Closed programs are not interesting by Andreas Rossberg Cannot readily leverage by Andreas Rossberg Types by Andreas Rossberg	James Iry	2009-12-02 10:16
Forum topic	Connections between Transactions and Promises/Futures? No substitute by Andreas Rossberg	naasking	2009-11-24 20:29
Forum topic	I Seek a Reasonable Survey on the Concept of "Module System" Maybe Pierce's ICFP talk by Andreas Rossberg	scottmcl	2009-11-18 15:51
Forum topic	What is a Type? Contracts by Andreas Rossberg	andrew johnson	2009-10-28 20:53
Forum topic	Turning every module into a functor automatically? It is by Andreas Rossberg Yes by Andreas Rossberg Yes, it matters by Andreas Rossberg Modules vs components by Andreas Rossberg Interfaces vs overriding by Andreas Rossberg Mass overriding by Andreas Rossberg	Manuel J. Simoni	2009-09-29 18:05
Forum topic	Best Introduction To Monads For Newbies (& Especially Imparative Minds) I'v Ever Read!!! Maybe hard, but manageable by Andreas Rossberg	kaveh.shahbazian	2009-09-25 08:54
Forum topic	ruby vs python Yikes! by Andreas Rossberg	shahbaz	2009-09-21 10:28
Forum topic	Various binding styles in OO Overriding vs. overloading by Andreas Rossberg	raould	2009-08-08 00:05
Forum topic	Definition of Functional Programming Language Two properties by Andreas Rossberg	vag	2009-08-07 22:39
Forum topic	Parsing user defined operators with precedence/assoc ala ML Avoiding mutable state altogether? by Andreas Rossberg Yes, but... by Andreas Rossberg Yacc + some handwork by Andreas Rossberg	scottmcl	2009-08-01 12:05
Forum topic	Microsoft's new Dynamic Language Runtime (DLR) Ownership by Andreas Rossberg Libraries without GC by Andreas Rossberg	Sean McDirmid	2009-07-28 18:21
Story	Cforall His conclusion? by Andreas Rossberg	Jim Apple	2009-07-21 01:47
Forum topic	First-class Polymorphism Advantages by Andreas Rossberg OCaml, Haskell/GHC, Moscow ML by Andreas Rossberg	naasking	2009-07-19 05:05
Forum topic	A Possible Future of Software Development Journal version by Andreas Rossberg	Winheim Raulsh	2009-07-09 08:13
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