Lambda the Ultimate

type	title	author	last post
Forum topic	Clojure's Solutions to the Expression Problem See here by Andreas Rossberg Bad examples by Andreas Rossberg Meta programming? by Andreas Rossberg True by Andreas Rossberg Trade-off between strong and flexible by Andreas Rossberg Hm by Andreas Rossberg Plotkin by Andreas Rossberg Full abstraction by Andreas Rossberg Don't think so by Andreas Rossberg Computation Spaces? by Andreas Rossberg	fogus	2010-11-27 07:21
Forum topic	Closures without function pointers Defunctionalization by Andreas Rossberg	Alex Rubinsteyn	2010-11-17 21:12
Forum topic	The barrier to take-up of language innovation Properties as types by Andreas Rossberg Dependent on "runtime" values by Andreas Rossberg Alternative function syntax by Andreas Rossberg Violent agreement? by Andreas Rossberg That's not dependent types by Andreas Rossberg Not concerned with error messages by Andreas Rossberg How? by Andreas Rossberg Set notation by Andreas Rossberg Explicit tail calls by Andreas Rossberg Yes by Andreas Rossberg ...	ad1mt	2010-11-06 03:26
Forum topic	Asynchronous Programming, Monads and Continuations in C#, F# and Scala Interesting by Andreas Rossberg Why not fix that? by Andreas Rossberg "Task" vs future? by Andreas Rossberg	Jules Jacobs	2010-10-31 20:37
Forum topic	Simply Easy! (An Implementation of a Dependently Typed Lambda Calculus) Exponential behaviour by Andreas Rossberg	Greg Buchholz	2010-10-22 21:48
Forum topic	Programming languages with higher kinds? Some by Andreas Rossberg	Steven Shaw II	2010-10-16 14:58
Forum topic	Perlis Languages Algol vs C by Andreas Rossberg Coq by Andreas Rossberg	Robb Nebbe	2010-10-14 16:16
Forum topic	Mildly Extended MixFix Coq not by Andreas Rossberg	shap	2010-09-23 02:15
Forum topic	GADTs in a dynamically type-checked language? Type or data? by Andreas Rossberg You cannot have your cake and eat it, too by Andreas Rossberg	Manuel J. Simoni	2010-09-16 18:43
Forum topic	What are the properties of "Functional Programming Languages"? First-order functional languages by Andreas Rossberg There's no such thing as a by Andreas Rossberg More pedantry games by Andreas Rossberg For something to qualify as first-class by Andreas Rossberg	kaveh.shahbazian	2010-09-13 17:38
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
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