user | Lambda the Ultimate

user

view
track

type	title	author	last post
Forum topic	Chocolate & Peanut-butter: Google Blockly & Behavior Threads	raould	2014-12-05 23:22
Forum topic	Antha programming system for Bioinformatics	raould	2014-12-04 18:21
Forum topic	Implementing fast interpreters The paper linked by Tom Primožič Exist a place that show how by mamcx TinyScheme is pretty nice by shap Juice is not an interpreter by Leon P Smith The last two by Limin Fu Oberon/Juice AST compression by Serguey Zefirov As ASTs frequently contain pointers... by Scott Johnson Locality by rreyelts I would agree that bytecode by Leon P Smith Re: Bizarre statements by znmeb ...	vieiro	2014-12-04 10:31
Forum topic	Looking for a good online forum on compiler design and implementation Well, for people interested, by mamcx Well this sound interesting, by mamcx I've read of some time by dmbarbour worth a try by Keean Schupke If you are using replay, you by Sean McDirmid Record and replay doesn't mean reversible by dmbarbour Illusions or History by dmbarbour Stepping Backwards by Keean Schupke Bootstrapping Prolog by Keean Schupke Just note that you can't by Sean McDirmid ...	Talin	2014-12-03 22:33
Story	Facebook releases "Flow", a statically typed JavaScript variant Formal Specifications by Keean Schupke Pragmatic validity is unproveable by John Shutt I'm pretty pragmatic about the valid/invalid thing. by Ray Dillinger Now what? by Andreas Rossberg But Dialyzer never says a program is valid. by Ray Dillinger Not about false positives or negatives by Andreas Rossberg I spent a bit of time at by Sean McDirmid No, I think that's right. by Ray Dillinger Fair enough by Andreas Rossberg Flow still is unsound by Andreas Rossberg ...	James Iry	2014-12-03 08:59
Forum topic	Whither compositionality: Declarative vs. imperative?	raould	2014-12-01 18:56
Story	John C Reynolds Doctoral Dissertation Award nominations for 2014 Conferences in Asia by Oleg It doesn't say much; it just by Sean McDirmid Not quite right by Sam Tobin-Hochstadt A weird split by Sam Tobin-Hochstadt My advisor graduated two by Sean McDirmid How about discussing by Ehud Lamm OOPSLA is up to $1k now if by Sean McDirmid Not quite 1K by Andreas Rossberg "no one" ==> "not many". $1K by Sean McDirmid There is some waste in the by Sean McDirmid ...	Ehud Lamm	2014-12-01 08:41
Forum topic	Code Completion for Generic Programming Free type variables to the left. by Keean Schupke - by Keean Schupke It's all about leaving tools the latitude to optimize. by Ray Dillinger What is an algorithm? by Keean Schupke map-parallel is a different by simon.stapleton Iterators must be efficient by Keean Schupke I still don't buy it. by simon.stapleton I think I get it by Keean Schupke The sort of sort by Keean Schupke I think I may have written by Matt M ...	Keean Schupke	2014-11-24 17:37
Forum topic	Impact of static type systems on productivity of actual programmers: first experiment I've seen documented. There was an experiment like by Sean McDirmid Maintenance experiments by dmbarbour Scale is the most relevant and least measurable factor by Andreas Rossberg Possibly big confounding factors by Eivind Eklund This is a good paper by Charles Stewart Aristotelian physics by Blaisorblade It's a language property, not an implementation property. by Ray Dillinger Maybe we disagree on the meaning of the term? by Ray Dillinger Agreed all around by Matt M In the middle by gasche ...	Ray Dillinger	2014-11-18 03:22
Forum topic	Lisps are fun It's one of those Holy Grail things by simon.stapleton	raould	2014-11-15 13:59
first page previous page next page last page