user | Lambda the Ultimate

user

view
track

type	title	author	last post
Forum topic	Cost of provably-correct code Secure and Evolvable by dmbarbour Secure vs. Evolvable by shap not sure by NickP how about a realistic estimate? by NickP rather obviously... by NickP The programmers by Derek Elkins Real Programming Languages vs. Algorithmic Information Theory by Paul Snively Actually I would say that by Felicia Li Svilling Language Design Terminology by Paul Snively "Dynamic properties"? by Andreas Rossberg ...	Ehud Lamm	2013-07-06 19:56
Story	The programming languages behind "the mother of all demos" That Bret Victor article is being misunderstood by Kartik Agaram Heh, you may be right in by Sean Childs AFAIK the 1970s have been by Kay Schluehr Have we caught up to the 70s by Sean Childs Bret Victor wrote a few by Sean McDirmid RIP Doug Engelbart by Ehud Lamm Great News! by Jim White Thanks by ralphw The 30th anniversary of "the mother of all demos" by jpost The Tree-Meta Wikipedia Article by Alan Kay ...	Ehud Lamm	2013-07-05 22:29
Forum topic	Are first-class environments enough? $define! belongs to the by Ross Angle in very deed by John Shutt Defining requirements by Ross Angle List of references to ancestor environments by Ross Angle Symmetric Lisp by Alex Shpilkin Yeah, $define! (or define) by John Shutt Comparisons by Ross Angle Kernel's $set! requires that by John Shutt Re: the conceptual difference by Denis Bredelet -jido It remains that, the scope by Denis Bredelet -jido ...	Alex Shpilkin	2013-07-04 15:49
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
Forum topic	A New Kind of Type System Thanks - fixed by shap This is quite useful, I'll by Sean McDirmid Possibly similar to field inference in BitC? by shap Hmm, okay. by Ray Dillinger This is quite useful, by Sean McDirmid An explanation, sadly long-winded by Chad Wellington Thanks for the feedback. I by Sean McDirmid micro feedback by Rys McCusker The Yin and Yang of Modular Object Type Inference by Sean McDirmid If you're the sort who'll go a mile for an acronym.... by Ray Dillinger ...	Sean McDirmid	2013-07-03 18:06
Forum topic	So You are Thinking of Doing a PhD... Seattle ... by Kalani Californians, remember it by Sean McDirmid Yes, we get it by Eli Sennesh	naasking	2013-07-03 13:51
Forum topic	Harlan (a high level language for general purpose GPU computing)	simon.stapleton	2013-07-03 07:21
Forum topic	CFP: ACM High Integrity Language Technology (HILT 2013) due July 6th; conference in Pittsburgh Nov. 10-14 thanks by NickP Who is doing what at HILT 2013 by sttaft so whose doing what by NickP Deadline now July 6th for ACM HILT 2013 by sttaft	sttaft	2013-07-02 17:36
Forum topic	When will we all have effect systems? Add Nimrod to that list by Araq Or you know....one could use by Sean McDirmid Alternatives to text editor for source code by Josh Stern Aha! Thanks, that's exactly by Chris Warburton Monads and Effect Systems by Lukas Rytz Effects and Monad Transformers by Chris Warburton Frank by Sjoerd Visscher Plaid, Mezzo, Rust by gasche What a good response, cool. by Rys McCusker Scala by Lukas Rytz ...	raould	2013-07-01 20:38
Forum topic	Dynamic inheritance? From absence predicates (row variables) to crazy field types by gasche Yes, no, call me maybe by Sean McDirmid	Gabriel Horvath	2013-06-29 15:07
first page previous page next page last page