Lambda the Ultimate

type	title	author	last post
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
Forum topic	mobile web apps are slow -- and GC is to blame Source? by shap Chip Stacking by shap	Christian Lindig	2013-07-18 22:05
Forum topic	Cost of provably-correct code Secure vs. Evolvable by shap	Ehud Lamm	2013-07-06 19:56
Forum topic	A New Kind of Type System Thanks - fixed by shap Possibly similar to field inference in BitC? by shap	Sean McDirmid	2013-07-03 18:06
Forum topic	"Relational Model Outgrown" CACM May 2013 Not clear by shap Carl misses the point, but he's still right by shap	Hewitt	2013-05-10 01:56
Forum topic	Seeking thoughtful criticisms of functional programming and languages Scaling purity by shap Can't resist by shap Conceptual revolutions... by shap At the moment, yes by shap Minor point by shap	scottmcl	2013-03-31 00:40
Forum topic	Dependencies as first class entities More than a language issue by shap	Mats	2013-02-02 09:19
Forum topic	Type evolution during construction Along these lines by shap	shap	2013-01-08 18:45
Forum topic	Supporting a spectrum from whole program to separate compilation to aid in efficient program generation Also for sharing by shap	scottmcl	2012-12-25 21:32
Forum topic	Emscripten now (sort of) self-hosting	shap	2012-11-13 19:52
Forum topic	"Fortress Wrapping Up" Yes. I'm confused by shap I think they are gone by shap DARPA money by shap	Alan Eliasen	2012-11-11 23:51
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