user | Lambda the Ultimate

user

view
track

type	title	author	last post
Forum topic	"Down with Lambda-Lifting" Ask him by gasche Anybody has a copy? by Blaisorblade spineless tagless by jimdesu Wow, this is a really nice by Jillis ter Hove Here's what I understand after a quick skim by pkhuong	dbfaken	2014-02-24 17:04
Forum topic	Not that one, the other one! Existentially closed minds by Hewitt Existentially closed by Hank Thediek Compactness in logic is undesireable in Computer Science by Hewitt Compactness by Hank Thediek Arbiters cause indeterminacy in computation by Hewitt This is a point of view I by Hank Thediek Hartmaninis & Stearns theory is not about concurrency by Hewitt Agreed by Hank Thediek Nondeterministic state machines cannot implement concurrency by Hewitt	Hank Thediek	2014-02-23 22:08
Story	MOOC: Paradigms of Computer Programming Course has started this week by Peter Van Roy It will use Mozart 2 by Peter Van Roy Mozart 2? by Todd Coram	Ehud Lamm	2014-02-21 16:27
Forum topic	Parallelism and Concurrency in the Actor Model p.s. memory conflict in lane model by Rys McCusker Quantum physics: relevant to theory and practice of computation by Hewitt Muddling QM by John Shutt Interaction creates reality locally by Hewitt It's worse than that by John Shutt Because the known laws of by naasking Indeterminacy in Actors is local in accord with standard QM by Hewitt Indeterminacy is fundamental by naasking Accidental duplicate post by Hewitt Indeterminacy is fundamental to concurrency by Hewitt ...	Hewitt	2014-02-21 05:06
Story	Using Category Theory to Design Implicit Conversions and Generic Operators Not only identity coercions by Blaisorblade Commutation proof by Matthieu Sozeau Thanks by neelk Inaccessible by Matthieu Sozeau	neelk	2014-02-18 10:50
Forum topic	How about switching to Markdown? Right. by Jon Purdy You can still use HTML raw by Y HTML makes it very difficult by Sean McDirmid I like HTML. by Jon Purdy	Y	2014-02-15 23:39
Forum topic	Booleans vs strings They're already quite used by has accential vs. essential complexities by raould MUMPS by John Shutt Language can hinder clean by dmbarbour getting rid of numbers by skaller Separate function for each case by skaller Hardness by skaller My only comment by rici another option: booleans are not values by Thomas Lord for example by has ...	jamii	2014-02-15 22:49
Forum topic	Limitations of Prolog-style clausal programs followup in the other thread by Rys McCusker Parallelism and Concurrency in the Actor Model by Hewitt Anything else about concurrency and parallelism? by Rys McCusker Meaningful information can be more than assertions by Hewitt Platonic backhand by Hank Thediek Reminds me of a story. by Rys McCusker Meaningful information is not necessarily knowledge by Hewitt Meaningful information is not bits; although bits can be used by Hewitt It is a theory Carl, theory by Hank Thediek Meaningful information is not in general reducible to bits. by Hewitt ...	Hewitt	2014-02-11 10:53
Forum topic	Verification games: Making verification fun Constraint satisfaction problems by vrijz How practical? by dmbarbour	George Morrison	2014-02-08 16:31
Forum topic	POPL 2014 proceedings available freely for all Communities by Sean McDirmid A few reasons by gasche Why don't we start our own by Sean McDirmid It can be the open access venue by johnwcowan Links are no more by gasche Link? by L Spice people could try to deduce by Sean McDirmid I started posting a notable by Ehud Lamm Hm by gasche A great opportunity for the by Ehud Lamm ...	gasche	2014-02-08 00:34
first page previous page next page last page