user | Lambda the Ultimate

user

view
track

type	title	author	last post
Forum topic	Trouble understanding Danvy's functional unparsing * Because one speaks Greek and the other speaks Latin by johnwcowan Indeed; and I think it is by gasche Oh I love that paper by Josh Scholar Long live format strings? by adrieng There is also a paper that by Jules Jacobs Found it by gasche Seems to work by gasche	jezng	2015-05-18 13:35
Forum topic	CEPTR presentation @ MIT KIT	raould	2015-05-15 22:33
Forum topic	Callisto: building a minimalist language on "versioned objects" Eh, with Glitch, it is the by Sean McDirmid Possible applications by Jon Purdy Prototype inheritance? by Michiel Helvensteijn Obvious problems by Matt M	gasche	2015-05-14 23:00
Forum topic	Nanopass Compiler Framework Language Grammar Extension. by Keean Schupke XStream by gasche Authors probably well aware by marco There is a lot of work on that subject + Deforestation by marco Thats Okay by Keean Schupke Fusion by Matt M They did nothing new. It's just multipass. by marco What's your point? by Keean Schupke Boilerplate Heavy by Keean Schupke RTFM by marco ...	Bryan Turner	2015-05-13 22:28
Forum topic	Casting addresses of other Actors considered harmful Articles on Facets by Hewitt Alternate interfaces of an Actor are sometimes called "facets" by Hewitt LtU policies by Matt M Suggest putting in "Purpose and Policies" in LtU navigate bar by Hewitt I suggest following the by Ehud Lamm LtU should not be narrow minded about PL issues by Hewitt Not much by Matt M Front Page versus New Topic? by Hewitt Front page? by Matt M	Hewitt	2015-05-13 00:59
Forum topic	A sketch of a "design papers/pearls" category in academic conferences hooray by raould Labels are inaccurate. by Sean McDirmid Thanks by gasche Also note that your proposal by Sean McDirmid design vs. mad science by Sean McDirmid Hm by gasche Nice idea. Hopefully this by Jules Jacobs Communities are by Sean McDirmid	gasche	2015-05-12 22:41
Forum topic	can we help with the db?	raould	2015-05-12 22:39
Forum topic	Five Paradigm Shifts in Programming Language Design and their Realization in Viron, a Dataflow Programming Environment Perfect Optimiser by Keean Schupke From Computable to Definable by Vaughan Pratt Mechanical Proof Checking and Meaning by Experimentation by Keean Schupke Are you happy with computable/decidable proof-checking? by Blaisorblade Base Axioms by Keean Schupke Hm by gasche You can have mechanized by John Shutt That doesn't seem quite by Blaisorblade Definitions by Keean Schupke Guessing here, but I think by naasking ...	Sean McDirmid	2015-05-10 16:17
Forum topic	Type Theory Glossary It seems like the two by John Shutt What about the difference by Sean McDirmid nLab... by Blaisorblade Alternatively, by John Shutt Jargon traps by chrisoliver I would love for this to be by Sean McDirmid Survey papers by Matt M Trinitarianism by Ross Angle Crowd-sourcing by gasche	naasking	2015-05-09 12:14
Forum topic	Albatross formerly called Modern Eiffel is available not is a unary operator. by hbrandl Possibly by Josh Scholar what you make of it by John Shutt Uiih. I had not been aware by hbrandl Also holds in python by Matt M Is (not) a function? by gasche That's what python does by Matt M What precedence would you propose for boolean negation? by hbrandl Albatross other meaning by Matt M Why do you read "My personal by hbrandl ...	hbrandl	2015-05-08 19:57
first page previous page next page last page