user | Lambda the Ultimate

user

view
track

type	title	author	last post
Forum topic	More information about Albatross You'll get the invariable by marco Case studies of inconsistent information systems by Hewitt Inconsistencies cannot be eliminated from complex info systems by Hewitt All witnesses say things that are inconsistent by Hewitt Contradictions by Keean Schupke I don't think it is by Matt M Degrees of belief and provenance by Matt M Inconsistency robust logic for "She said. He said." by Hewitt compartmentalization, not camouflage by dmbarbour Camouflaging inconsistency behind "He said, she said." by Hewitt ...	hbrandl	2015-05-29 13:47
Forum topic	Generating compiler back ends at the snap of a finger Less potential by Ben L. Titzer Related work? by qznc Pragmatically... by Blaisorblade Neat by dmbarbour	raould	2015-05-28 15:24
Forum topic	Have tracing JIT compilers won? You can do simple CSE well by Sean McDirmid Escape analysis by Z-Bo It really depends on what by Sean McDirmid No it's not... by Z-Bo Roslyn is a static by Sean McDirmid What about Roslyn, is that a by Jules Jacobs The DLR is really really by Sean McDirmid By conservative, we just by Sean McDirmid Is that the same as type feedback? by Josh Scholar Backward type recovery (and by Sean McDirmid ...	Peter Michaux	2015-05-26 21:09
Forum topic	message, stream and protocol typing Sounds the same by Matt M P+Q possibly equivalent to P \|\|\| Q by Allan McInnes Note by Matt M (Process P) is the type of by Matt M Unsure by Allan McInnes thanks for the recommendation by Rys McCusker logic and types by dmbarbour Linear logic != linear types??? by Blaisorblade Wadler's papers by Blaisorblade appealing paper on session types by Rys McCusker ...	Rys McCusker	2015-05-25 23:37
Forum topic	EDSL for hardworking IT programmers Yup by jmatsushita Functional reactive programming by Blaisorblade	jmatsushita	2015-05-21 18:06
Forum topic	SPLASH 2015 - Call for Contributions: Other Tracks	craiganslow	2015-05-21 00:00
Forum topic	From Programming Language Design (PLD) to Programmer Experience Design (PXD) Bugged by marco Technically correct, but by Sean McDirmid Producer/consumer is in the eye of the beholder by Jules Jacobs kinds of code completion by chrisoliver Like This: by Keean Schupke Bad example? by Andreas Rossberg Heterogeneity by Andreas Rossberg Hidden Types by Keean Schupke Ah, crystal clear!So let me by Sean McDirmid Why in our head? by Blaisorblade ...	Sean McDirmid	2015-05-20 12:15
Forum topic	Divergence not bottom? As it should be by Matt M The problem is that you've by Jules Jacobs It's possible by Matt M Probably Nothing There by marco I wouldn't know by marco Yes, isn't that what by Jules Jacobs Why would you not require by Jules Jacobs True by Matt M That's not entirely true for by Jules Jacobs The sense that I meant by Matt M ...	Matt M	2015-05-20 00:23
Story	Eve: the development diary of a programming environment aimed at non-programmers Debugging in datalog by jamii What I remember from the Victor Brent talk by Josh Scholar Agreed by gasche :) well we'll learn a lot by trying by Josh Scholar Changed my post by Josh Scholar Robustly glue them together by gasche dialog boxes for language dialects by Josh Scholar What if programming by Sean McDirmid yes by raould Ideal situations vs real ones. by Josh Scholar ...	gasche	2015-05-18 20:56
Forum topic	The Programming Language Wars: Questions and Responsibilities for the Programming Language Community I agree with the second point by johnwcowan laziness and purity by dmbarbour * Laziness is a cost people pay for purity. by johnwcowan About the Common Lisp misfeature by John Shutt Censorship of information is the paramount issue by Hewitt Victim of your own behavior by Brandon Bloom Blaming the victims of censorship by Hewitt You should know better. by Thomas Lord I should know better than to by John Shutt The smoothness paper... by Josh Scholar ...	Phil Miess	2015-05-18 14:25
first page previous page next page last page