Lambda the Ultimate

type	title	author	last post
Forum topic	Fixed points considered harmful A Meta-Comment on Style by shap	Hewitt	2015-07-21 06:16
Forum topic	Compilation to C, a definitive guide? Sure you do by shap Local inference by shap	naasking	2015-07-05 19:00
Forum topic	Paper journals are in bad shape; priority established in HAL ... Length limitations by shap	Hewitt	2015-06-07 15:39
Forum topic	Have tracing JIT compilers won? Justification? by shap Not Portable by shap	Peter Michaux	2015-05-26 21:09
Forum topic	C++ Parser Combinator Library Lookahead == Backtracking by shap But what about validation? by shap Grammar validation by shap	Keean Schupke	2015-05-01 13:29
Forum topic	Constraint typing, subtyping, and separate compilation Guessing but... by shap	Sean McDirmid	2015-03-12 22:35
Forum topic	general patterns in PL persistence schemes? Some exceptions by shap So just to be explicit... by shap	Rys McCusker	2015-02-24 02:23
Forum topic	Making implicits less powerful? Unbounded proof search really IS bad by shap Misframed by shap	Vladimir Slepnev	2015-02-20 16:07
Forum topic	How can be a interpreter faster than C (aka: kdb+) I've got it wrong by shap That's exactly the issue. by shap Practical (single variable) example by shap Correction by shap Sure you can by shap Differing assumptions by shap I would like to see it. by shap ... and that's a good thing by shap Not type classes by shap	mamcx	2014-12-31 14:26
Forum topic	SML# targets LLVM It seems serious by shap	raould	2014-12-26 21:05
Forum topic	Why do we need modules at all? Still need units of compilation by shap	Sean McDirmid	2014-12-06 15:20
Forum topic	Implementing fast interpreters TinyScheme is pretty nice by shap	vieiro	2014-12-04 10:31
Forum topic	Opposing Hierarchies of Complexity In some cases by shap	Keean Schupke	2014-11-05 22:20
Forum topic	On constness Mix of linearity and escape freedom by shap Escape Freedom by shap Scale! by shap This could work by shap Exactly by shap Heart of the problem by shap Not sure this is right by shap Transient Mutabilty by shap Semi-Transitive Immutability by shap Immutability is easy by shap ...	Talin	2014-10-13 20:58
Forum topic	Experiment BitC tried this and stumbled by shap	Ehud Lamm	2014-10-01 17:10
Forum topic	doing letrec with lambdas Relevant paper by shap Not the same thing by shap Let-polymorphism by shap	jimdesu	2014-09-29 19:46
Forum topic	Patent on "safe" transitive immutability for object types — prior art? Software is patentable by shap Yes and no by shap Simple mistake by shap Yes by shap	Blaisorblade	2014-09-11 18:18
Story	Study finds that when no financial interests are involved programmers choose DECENT languages Wait. Isn't that LtU? by shap	Ehud Lamm	2014-04-15 05:59
Forum topic	Brendan Eich, CEO of mozilla From which we conclude... by shap	Sean McDirmid	2014-04-13 18:55
Story	What Are The Resolved Debates in General Purpose Language Design? Not to confuse with facts, but... by shap Me too, though I do think by shap And if the fini code running by shap I was primarily objecting to by shap On paper that sounds good, by shap Of course they don't argue. by shap When we emitted that code in by shap Problem with "fini" is by shap Goto not dropped by shap It always amazes me when by shap ...	James Iry	2014-03-31 20:55
Forum topic	"null" is to tagged unions as ???? is to records Null not built in by shap	Kannan Goundan	2014-03-22 20:06
Forum topic	Different approaches to letting a programmer define interface implementations. Good example by shap The difference between theory and practice... by shap It's more fundamental than that by shap	Kannan Goundan	2014-01-15 04:00
Forum topic	Interfaces vs. Type Classes Not sure what the question means. by shap Good summary by shap	shap	2014-01-06 00:40
Forum topic	xkcd: Functional This is why I prefer... by shap	Sean McDirmid	2013-11-05 20:23
Forum topic	Quote Safe unquote JVM language? Also ECMAScript 5 by shap	markt	2013-07-30 09:43
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