user | Lambda the Ultimate

user

view
track

type	title	author	last post
Story	A theory of changes for higher-order languages — incrementalizing λ-calculi by static differentiation Bob Atkey on the connection to parametricity by Blaisorblade Self-maintainable derivatives vs not by Blaisorblade Nice paper. Maybe I didn't by Jules Jacobs Toy language by gasche	gasche	2015-04-24 13:57
Forum topic	Fixing broken software development for the masses gestures by raould Structured editing with a by dmbarbour Well EDITTING by Josh Scholar edit by raould There's a practical by dmbarbour I'm not sure I buy that. by Josh Scholar furthermore by raould Previously on LtU by Matt M emergent effects by dmbarbour I just failed in a search for it by Josh Scholar ...	raould	2015-04-22 18:33
Story	Seemingly impossible programs Actor Model Semantics by Hewitt Libel by Hewitt You can do a lot with by Sean McDirmid where's the libel? by dmbarbour On exactly which page of by dmbarbour Libels probably won't limit the future of Actors by Hewitt Proving theorems is a difficult and rigorous business by Hewitt Most ideas have one person by John Shutt Unicode is the future of programming languages by Hewitt Problem with form by gasche ...	Ohad Kammar	2015-04-18 02:15
Forum topic	The mother of all PL demos None of Bret Victor's demos by Sean McDirmid R.I.P. by raould	Sean McDirmid	2015-04-16 20:21
Forum topic	Why we don't believe in Visual Programming Visual DSLs by dmbarbour Escher language by dmbarbour Pictures at the high level, text down below by johnwcowan The ubiquitous "check mail" icon by simon.stapleton Problems with existing visual languages. by const Part of it is that with by Ray Dillinger modifiers and metacode by Josh Scholar Weaknesses of visual by dmbarbour subtleties ?= bad code by raould I don't believe in it for a different reason... by Ray Dillinger ...	Tiago Simoes	2015-04-14 15:24
Story	Everything old is new again: Quoted Domain Specific Languages Jaśkowski's natural deduction more important than Gentzen’s by Hewitt maybe by raould The Feldspar link I provide by naasking yes but by raould The compilation to C is one by naasking ignorant questions by raould	naasking	2015-04-10 05:04
Forum topic	how many lines of code can civilization support? the exorcist by Rys McCusker bi-directional coordination by dmbarbour interaction tarpit by John Shutt I do believe in coordination costs by Bruce J. Bell coordination costs by dmbarbour Where does the coordination cost actually come in? by Bruce J. Bell Windows XP by John Shutt reply below by dmbarbour throw-away software by dmbarbour not even close by dmbarbour ...	Thomas Lord	2015-04-09 22:07
Forum topic	Actors for CyberThings Electronic copies of published versions by Hewitt Implementation of ActorScript is not publicly available by Hewitt ActorScript implemented? by raould	Hewitt	2015-04-09 14:57
Story	The Next Stage of Staging Nevermind by Matt M Cool paper, worth it's own by naasking Thanks by Matt M Better answers by Blaisorblade Parameterized types require special scoping rules by Hewitt Meh by gasche I'd bet that MLton would by Matt M Here, I've dropped the by Blaisorblade "Everything old is new again: Quoted Domain Specific Languages" by Blaisorblade The author moved — here's Green Open Access by Blaisorblade ...	naasking	2015-04-07 14:58
Forum topic	ioflo / floscript: decoupled dataflow born of autonomous systems	raould	2015-04-02 01:01
first page previous page next page last page