recent posts | Lambda the Ultimate

recent posts

type	title	author	last post
Forum topic	ANN: Ur/Web: Statically-typed metaprogramming for the web Integer overflow by Sean Leather It won't be that surprising by Adam Chlipala Or maybe not... by natecain Row polymorphism? by Chris Rathman Row Types? by drinkinglizard Fixed, thanks by Adam Chlipala Broken links in demo by Sean Leather	Adam Chlipala	2008-10-28 23:49
Forum topic	Print release of a textbook on the Coq proof assistant Watch the story telling by marco Pierce's too by Andy Gocke Right by Adam Chlipala Excellent by Chris Warburton Dependently typed Red-Black trees by Damien Guichard	Adam Chlipala	2014-01-15 13:50
Forum topic	Testing release of a platform for hosting pure functional web applications One nit by Z-Bo :) by Matt M Should we be able to share a by dmbarbour Still no sale by Matt M this thread isn't visually narrow enough by raould Forms Example by dmbarbour The Blue and Pink Planes by Z-Bo VERY good question by Z-Bo Extremely fine grained composition by Matt M Still no counter-example by Matt M ...	Adam Chlipala	2010-02-26 23:30
Forum topic	Certified Programming with Dependent Types: home stretch! For data structures in Haskell... by neelk Thanks! by Adam Chlipala OK by Paul Snively Me? I don't care either way. by Kay Schluehr Gratitude by Paul Snively Lost by Paul Snively What's a tautology? by Matt M Using the terms like Adam by Kay Schluehr I should probably explain by Adam Chlipala Suggestion by Paul Snively ...	Adam Chlipala	2012-04-22 22:31
Forum topic	The TechEmpower Web Framework Benchmarks	Adam Chlipala	2014-05-06 11:41
Forum topic	The perfect advanced programming language for the productive industrial developer This seems like a contradiction by JeffB Possible Haskell answers to a couple of points by BenMoseley At the start of the project, by naasking A Matter of Perspective by Michael Pavone Re: a single language? by raould Encapsulated mutability within a pure functional language by Adam C Familiarity by Denis Bredelet -jido Hidden concept of Time by dmbarbour Layered Languages by dmbarbour The difference is in terminology. by Serguey Zefirov ...	Adam C	2010-12-12 19:11
Forum topic	The barrier to take-up of language innovation Javascript... by marco What do you want to do? by marco RE: JavaScript by dmbarbour This won't happen in the by Z-Bo It has to be driven by the problem domain by Z-Bo theorists vs. experimentalists by el-vadimo JavaScript... by shaurz Sounds like a great paper for Onward 2010 by Z-Bo Practical programming by shaurz I take exception to that by Mario B. ...	ad1mt	2010-11-06 03:26
Forum topic	why first-class functions Christian Queinnec meets Norman Adams by el-vadimo I don't think point-free is by gasche User-defined SQL aggregates by Leon P Smith Agreed by Matt Hellige if you are designing a language by Robb Nebbe Existential Types by dmbarbour This is a very important by Chris King Parameterization by dmbarbour Exactly. by Leon P Smith I use structures holding closures all the time by Brian Hurt ...	ad1mt	2012-03-02 13:33
Forum topic	New Dataflow Programming Language I'm more thinking in line by lmeyerov Why not? by dmbarbour Insane Languages by dmbarbour No. I'm not arguing against by lmeyerov LOL by Cyril OT by marco The definition of crazy is by Matt M Do you mean that in the same by lmeyerov Do you mean that in the same by dmbarbour Monads are a great barrier by lmeyerov ...	ad1mt	2010-11-30 01:24
Forum topic	why inheritence in OOP? better answers on stackoverflow by ad1mt You might get better answers for these kind of questions on by Jules Jacobs	ad1mt	2012-02-28 13:30
first page previous page next page last page