Lambda the Ultimate

type	title	author	last post
Forum topic	Mod sys with external binding of mods to mod sigs, where all mod imports must be sigs only Not quite by Andreas Rossberg	scottmcl	2010-08-19 12:33
Forum topic	The ideal style/system for namespaces. Yes you can by Andreas Rossberg Module System >= Namespace Management by Andreas Rossberg	simcop2387	2010-08-16 17:25
Forum topic	Overlapping Instances + Functional Dependencies Unsound? Take a closer look by Andreas Rossberg	shap	2010-08-08 15:11
Story	A Brief, Incomplete ... History of Programming Languages Hilarious by Andreas Rossberg	Anton van Straaten	2010-06-17 05:37
Story	Adding Type Constructor Parameterization to Java What for? by Andreas Rossberg No difference with top type by Andreas Rossberg Parametric relations by Andreas Rossberg Parametricity vs casts by Andreas Rossberg	Manuel J. Simoni	2010-06-08 21:53
Forum topic	Alan Kay's 70th C++ adopted them with templates by Andreas Rossberg 20 years is over-optimistic by Andreas Rossberg	Z-Bo	2010-05-31 21:19
Forum topic	Typed Lambda Calculus Probably by Andreas Rossberg If you are suggesting by Andreas Rossberg Type constructors by Andreas Rossberg Yes, it's 2nd order by Andreas Rossberg "Most left-nested" by Andreas Rossberg Variables =~ base types by Andreas Rossberg Barendregt by Andreas Rossberg Er... by Andreas Rossberg What's wrong? by Andreas Rossberg	marcosag	2010-05-05 21:11
Forum topic	Linear & Dependent types of ATS applied to the Cairo graphics library OT by Andreas Rossberg Yes to all that by Andreas Rossberg True, but by Andreas Rossberg Too constrained by Andreas Rossberg Not safe by Andreas Rossberg	raould	2010-05-04 07:37
Story	LtU turns 7: The year of spam 2010, the year of even more spam by Andreas Rossberg	Ehud Lamm	2010-04-29 05:51
Forum topic	How can C Programs be so Reliable? Assembly not meaningful? by Andreas Rossberg C can get in the way by Andreas Rossberg Undefined behaviour by Andreas Rossberg The alternative being...? by Andreas Rossberg Has been proposed already by Andreas Rossberg Call-chains aren't always first-order by Andreas Rossberg	Manuel J. Simoni	2010-04-23 11:54
Story	A few billion lines of code later: using static analysis to find bugs in the real world Prolonging life by Andreas Rossberg Interesting by Andreas Rossberg	Allan McInnes	2010-04-23 11:28
Forum topic	Static Typing Where Possible, Dynamic Typing When Needed Recent work by Andreas Rossberg Incompatible with separate compilation by Andreas Rossberg "Type inference" by Andreas Rossberg FP compilers are advanced AI? by Andreas Rossberg Harper's thesis by Andreas Rossberg	Isaac Gouy	2010-04-20 22:32
Forum topic	hot topics in type theorem s/PLDI/TLDI/ by Andreas Rossberg	Zsolt Szalai	2010-04-16 17:36
Story	Can functional programming be liberated from the von Neumann paradigm? Confused by Andreas Rossberg	Charles Stewart	2010-04-14 20:25
Forum topic	Higher order functions vs. function arity and calling conventions N-ary functions vs currying vs tupling by Andreas Rossberg	scottmcl	2010-04-12 17:08
Forum topic	Tcl the Misunderstood Whose misunderstanding by Andreas Rossberg	namin	2010-04-09 02:54
Forum topic	Will data-intensive computing revolutionize programming languages? And the Explorers say by Andreas Rossberg Mille vs million by Andreas Rossberg Natural language translation by Andreas Rossberg	Peter Van Roy	2010-03-30 16:54
Forum topic	Types vs classes: what is the difference? Re: Types as sets by Andreas Rossberg Types are more than just sets by Andreas Rossberg Classes are factories by Andreas Rossberg	caustic	2010-03-18 19:39
Forum topic	Type system design choices Types are not sets by Andreas Rossberg	Michiel Helvensteijn	2010-03-18 08:24
Forum topic	The Myth of the Genius Programmer Thanks by Andreas Rossberg	Leon P Smith	2010-03-14 16:23
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
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