recent posts | Lambda the Ultimate

recent posts

type	title	author	last post
Story	The Syntax and Semantics of Quantitative Type Theory Thanks by Charles Stewart Contraction and a Correction by Bob Atkey Helps a bit by Charles Stewart Embedding simple types by Bob Atkey Expressivity by Charles Stewart	naasking	2017-07-26 18:34
Forum topic	The TechEmpower Web Framework Benchmarks	Adam Chlipala	2014-05-06 11:41
Forum topic	The Terms language Expressive power, one last time by Enrique Perez Arnaud At one point, I say: "the by Enrique Perez Arnaud > Can you define what you by Enrique Perez Arnaud I mean quantification of by Enrique Perez Arnaud About expressiveness, I by Enrique Perez Arnaud In general, the logic by Barry Watson You speak generally of by dmbarbour Expressive power and negation. by Barry Watson in reply to Loves is Exists by Enrique Perez Arnaud Loves is Exists by dmbarbour	Enrique Perez Arnaud	2012-10-20 23:22
Forum topic	The Theory and Calculus of Aliasing Compositionality by Bertrand_Meyer Software Is Composition by dmbarbour Aliasing is not compositional by Bertrand_Meyer Modularity? by Bertrand_Meyer Thanks by Bertrand_Meyer Other applications by Bertrand_Meyer Aliasing Calculus vs. Implementation Hiding by dmbarbour applicability to real OO Software by hbrandl Seems useful for proving authority limits by MarkM The evil of aliasing by hank ...	Bertrand_Meyer	2010-01-27 01:40
Forum topic	The theory behind the Terms language	Enrique Perez Arnaud	2014-03-30 21:13
Story	The Theory of Classification - A Course on OO Type Systems Updated link to Simons bibliography by AJHSimons Updated links to these articles by AJHSimons Reply from Anthony Simons by Ehud Lamm I think you're right. by Benjamin D. Cutler Am I missing something... by dbfaken Interesting by Ehud Lamm ah. previously metioned when by andrew cooke	andrew cooke	2008-04-21 11:09
Story	The Theory of Parametricity in Lambda Cube	Jim Apple	2006-11-27 13:52
Forum topic	The this argument in dynamic programming languages with OO and first-class functions Well, reconsidering it, I by Tom Primožič Error-prone by Andreas Rossberg Actually, the fact that by Manuel J. Simoni Actually, the fact that by Jules Jacobs That's great, the only thing by Tom Primožič This is certainly a step in by Tom Primožič I was thinking the magic was by Tom Primožič this is not the programmer's by Tom Primožič open recursion, develop by Tom Primožič That is an idea that I by Tom Primožič ...	Tom Primožič	2011-08-22 19:36
Forum topic	The three dimensions of proofs Admittedly this subject is a by Ehud Lamm More information on the subject by Yves Guiraud Where's the kitchen sink? by Marc Hamann Thanks. This is of interest by Frank Atanassow	Niels Hoogeveen	2006-09-14 17:42
Story	The Three Laws of Programming Language Design Language is communication by Jules Jacobs This seems to match my by John Shutt Feedback welcome as always. by Rys McCusker Iâ€™m not sure I agree. by Jon Purdy Thanks for noting this by Ehud Lamm Misogynist language by chrisamaphone fixed point by Gergely Buday Copying your comment to this by Sean McDirmid Interesting! by Ray Dillinger Names are too valuable to be wasted on compilers by Sean McDirmid ...	bashyal	2013-07-04 14:32
first page previous page next page last page