user | Lambda the Ultimate

user

view
track

type	title	author	last post
Forum topic	Whither Flow Analysis? Thanks! by neelk A few related papers by Ben Karel It really is the complexity by Sam Tobin-Hochstadt Thanks for relaying your experience. by Bakul Shah Yes, I've done something similar. by Ray Dillinger Has anyone tried incremental flow analysis at runtime? by Bakul Shah guesses by lmeyerov I remember that there was by Jules Jacobs 0CFA and FPLs by neelk In that case, you simply by Sean McDirmid ...	raould	2014-11-14 11:54
Forum topic	A duality between exceptions and states - Dumas, Duval, Fousse, Reynaud Particular location and exception by chrisoliver the effect of previous assignments by John Shutt Duality by chrisoliver duality by chrisoliver duality by Dave Huh. by Ray Dillinger In other words... by chrisoliver	chrisoliver	2014-11-10 17:57
Forum topic	DARPA funds $11 million tool that will make coding a lot easier It doesn't say any other by Sean McDirmid Standard DARPA by Sam Tobin-Hochstadt	Sean McDirmid	2014-11-10 05:17
Forum topic	Opposing Hierarchies of Complexity Type Erasure by Keean Schupke Weaker Statement by Keean Schupke Isn't that just a question of what analogy you use? by Ray Dillinger I think the idea is that by Matt M Proofs are Paths? by Keean Schupke One thing that sometimes by Ray Dillinger Trapdoors by Keean Schupke Sure. Language standard libraries. by Ray Dillinger complex inside simple outside. by Keean Schupke The most important thing about type theory.... by Ray Dillinger ...	Keean Schupke	2014-11-05 22:20
Story	Exceptional syntax Time travelling debuggers by dmbarbour Time travellers by Keean Schupke Poor integration of by dmbarbour Is that the problem? by Keean Schupke ignoring exceptions by dmbarbour we already do that :-) by raould Already by gasche And a 'lazy' pattern. by Jules Jacobs Indeed by gasche Syntax complaint by Andreas Rossberg ...	Chung-chieh Shan	2014-11-04 18:51
Story	Inside the Wolfram Language Pattern matching on AST by Keean Schupke Language code gallery by Sean McDirmid I really like the easy by dmbarbour	bashyal	2014-11-04 07:29
Forum topic	EigenCFA: Accelerating Flow Analysis with GPUs comblas by lmeyerov Classic connundrum by lmeyerov Interesting by gasche	Alex1	2014-11-03 02:01
Story	Conservation laws for free! mea culpa by Dave Atkey et al. by Ohad Kammar tiger, tiger, for-all bright... by Dave translation? by raould cool by Dave	Ohad Kammar	2014-10-29 16:28
Forum topic	Virgil: a statically-typed language balancing functional and OO features Variants are in by Ben L. Titzer Localizing Ugliness by Ray Dillinger type selector rather type queries by ibukanov Thanks, makes sense now. by Z-Bo I mean simply what Ben said, by naasking I think ultimately the only by Z-Bo Not entirely fair by Z-Bo _ can only be used as an argument by Ben L. Titzer Local reasoning by Ben L. Titzer t2(_, 3) // type error by naasking ...	Kartik Agaram	2014-10-25 23:08
Forum topic	pLucid original interpreter available. Update by marcel	Rahul Gopinath	2014-10-25 21:02
first page previous page next page last page