Lambda the Ultimate Weblog Topics
Last Updated 07/17/2012

Posts By: lmeyerov

  Date    Post    Topic  
07/17/2012What happens with recursion,OO type systems and BNFs
07/18/2012usually BNFs are has-aOO type systems and BNFs
07/06/2012No SingularityLess is exponentially more: Rob Pike on Go and Why C++ Programmers Aren't Flocking to it.
07/02/2012PGASLess is exponentially more: Rob Pike on Go and Why C++ Programmers Aren't Flocking to it.
07/01/2012We're in a funny boat today,Less is exponentially more: Rob Pike on Go and Why C++ Programmers Aren't Flocking to it.
07/01/2012I think we'll start writingLess is exponentially more: Rob Pike on Go and Why C++ Programmers Aren't Flocking to it.
07/01/2012I'll definitely be attendingLess is exponentially more: Rob Pike on Go and Why C++ Programmers Aren't Flocking to it.
07/02/2012Cool, double checking withLess is exponentially more: Rob Pike on Go and Why C++ Programmers Aren't Flocking to it.
07/01/2012Agreed about other -- we didLess is exponentially more: Rob Pike on Go and Why C++ Programmers Aren't Flocking to it.
07/01/2012Dev/prototyping speedLess is exponentially more: Rob Pike on Go and Why C++ Programmers Aren't Flocking to it.
07/03/2012A 1000 wordsLess is exponentially more: Rob Pike on Go and Why C++ Programmers Aren't Flocking to it.
07/03/2012Yep!Less is exponentially more: Rob Pike on Go and Why C++ Programmers Aren't Flocking to it.
06/09/2012Socio-PLT for language engineeringWhy Do Some Programming Languages Live and Others Die?
06/09/2012Programmer Perception Questions?Why Do Some Programming Languages Live and Others Die?
06/10/2012Don't read too closely into WiredWhy Do Some Programming Languages Live and Others Die?
06/10/2012Different forms of social optimizationsWhy Do Some Programming Languages Live and Others Die?
06/10/2012Agreed on many points. A fewWhy Do Some Programming Languages Live and Others Die?
06/12/2012Hmm, any thoughts on how toWhy Do Some Programming Languages Live and Others Die?
06/13/2012For testing, it would beWhy Do Some Programming Languages Live and Others Die?
06/11/2012This is a great paper. JustWhy Do Some Programming Languages Live and Others Die?
06/06/2012You mean anGraphical languages of the Russian space program
06/05/2012focusing on sexualSynth programming language concept
05/24/2012D3: Thinking with JoinsD3: Thinking with Joins
05/27/2012Most JavaScript frameworksD3: Thinking with Joins
05/27/2012The enter and exit is reallyD3: Thinking with Joins
05/28/2012Also, I was questioning whatD3: Thinking with Joins
05/22/2012My experiences withLanguages & Niches
05/30/2012But concurrency without dataLanguages & Niches
06/02/2012You are talking about aLanguages & Niches
05/08/2012Folk theorems and killer heuristicsOn the Naturalness of Software
05/09/2012I found it to be a veryFeather: A Heapless Functional Programming Language
05/06/2012Divorcing the adoption ofWhy and How People Use R
04/27/2012Huh? Lua was explicitly madeWhy and How People Use R
04/27/2012It wasn't just public moneyWhy and How People Use R
03/30/2012Quantitative comparison of unit testing vs. static typing?Quantitative comparison of unit testing vs. static typing?
03/30/2012The wonderful thing aboutQuantitative comparison of unit testing vs. static typing?
03/31/2012I'm actually reaching for aQuantitative comparison of unit testing vs. static typing?
04/20/2012I have never encountered aQuantitative comparison of unit testing vs. static typing?
04/23/2012Healthy perspective, but a little terse :)Quantitative comparison of unit testing vs. static typing?
04/24/2012I'm preparing a survey rightQuantitative comparison of unit testing vs. static typing?
04/24/2012I want to expose the biases,Quantitative comparison of unit testing vs. static typing?
03/31/2012Neat! The Wrangler programQuantitative comparison of unit testing vs. static typing?
03/31/2012I agree that checking for aQuantitative comparison of unit testing vs. static typing?
04/01/2012Great, I was ratherQuantitative comparison of unit testing vs. static typing?
04/01/2012Boolean syntax considered harmfulQuantitative comparison of unit testing vs. static typing?
04/01/2012Yep, agreed -- that's what IQuantitative comparison of unit testing vs. static typing?
04/01/2012User studies save lives :)Quantitative comparison of unit testing vs. static typing?
04/01/2012I'm using quantitative in the sameQuantitative comparison of unit testing vs. static typing?
04/08/2012For example, it is not unitQuantitative comparison of unit testing vs. static typing?
04/02/2012It sounds like the randomQuantitative comparison of unit testing vs. static typing?
04/06/2012Now, Username.t andQuantitative comparison of unit testing vs. static typing?
04/02/2012Cool, good catch. For theQuantitative comparison of unit testing vs. static typing?
04/03/2012To be clear, I don't thinkQuantitative comparison of unit testing vs. static typing?
04/03/2012Cost is one of those fluidQuantitative comparison of unit testing vs. static typing?
06/20/2012Science!Quantitative comparison of unit testing vs. static typing?
06/22/2012What the study shows is thatQuantitative comparison of unit testing vs. static typing?
03/24/2012ignoreRetrospective Thoughts on BitC
04/15/2012Traceable data types don'tParsing: The Solved Problem That Isn't
04/15/2012I think we're generally inParsing: The Solved Problem That Isn't
04/15/2012I think you're missing myParsing: The Solved Problem That Isn't
04/15/2012A memoized function takes aParsing: The Solved Problem That Isn't
04/15/2012Hmm I did not mean to implyParsing: The Solved Problem That Isn't
04/15/2012Again, see attributeParsing: The Solved Problem That Isn't
04/15/2012It looks like what IParsing: The Solved Problem That Isn't
03/24/2012For any of these functionalHow to Generate (Hard) Real-Time Code from Declarative Programming Languages?
03/24/2012I don't work in RT, so IHow to Generate (Hard) Real-Time Code from Declarative Programming Languages?
03/29/2012A lot of the interest in RTHow to Generate (Hard) Real-Time Code from Declarative Programming Languages?
03/29/2012Decoupling orchestration andHow to Generate (Hard) Real-Time Code from Declarative Programming Languages?
03/22/2012A key feature of aDisruptive PLT Revisited
03/22/2012So what is a milestone inDisruptive PLT Revisited
03/22/2012So what is a milestone inDisruptive PLT Revisited
03/22/2012I can't say much here toDisruptive PLT Revisited
03/22/2012A refinement to theDisruptive PLT Revisited
03/22/2012P2P doesn't seem thatDisruptive PLT Revisited
03/22/2012My point is that, when it'sDisruptive PLT Revisited
03/22/2012Do you believe LINQ willDisruptive PLT Revisited
03/22/2012This really isn't compellingDisruptive PLT Revisited
03/22/2012The change in trust modelDisruptive PLT Revisited
03/22/2012How does mass-scale adoptionDisruptive PLT Revisited
03/25/2012Mechanizing law may beDisruptive PLT Revisited
03/15/2012One step closer to D-trace,Filtering system calls with a packet filtering language
03/12/2012You may enjoy the GaloisReversing operations
03/16/2012Immutablity is basically theReversing operations
03/16/2012Don't conflate pressure toReferences about the importance of formalism in programming language design
03/16/2012[Redacted]References about the importance of formalism in programming language design
03/20/2012Negative space: formalism helps non-disruptive designReferences about the importance of formalism in programming language design
03/21/2012I'm an optimist: I thinkReferences about the importance of formalism in programming language design
03/21/2012all interesting progress inReferences about the importance of formalism in programming language design
03/10/2012[I'd say this is bad UIAdding Delimited and Composable Control to a Production Programming Environment
03/15/2012Agreed that the sameAdding Delimited and Composable Control to a Production Programming Environment
03/18/2012The higher-level issue isAdding Delimited and Composable Control to a Production Programming Environment
03/03/2012As Sean notes, almost all ofBret Victor's Inventing on Priniciple
02/23/2012Shouldn't be too surprising,Long rant on Erlang-style Actors: Lost Dimension
02/24/2012I thought one has a blockingLong rant on Erlang-style Actors: Lost Dimension
02/24/2012... and, for the record, theLong rant on Erlang-style Actors: Lost Dimension
03/07/2012As far as I can tell, yourLong rant on Erlang-style Actors: Lost Dimension
03/07/2012This is really cool :)Long rant on Erlang-style Actors: Lost Dimension
03/11/2012To be clear, Jules isLong rant on Erlang-style Actors: Lost Dimension
03/12/2012It's not just uniqueLong rant on Erlang-style Actors: Lost Dimension
03/16/2012There are a lot of issuesLong rant on Erlang-style Actors: Lost Dimension
02/29/2012Global inversion convention is a tough sellLong rant on Erlang-style Actors: Lost Dimension
02/29/2012I'll reread that stuff now,Long rant on Erlang-style Actors: Lost Dimension
02/29/2012Gotcha. Even knowing whatLong rant on Erlang-style Actors: Lost Dimension
02/29/2012Wrong strawman :)Long rant on Erlang-style Actors: Lost Dimension
03/01/2012I think this is in agreementLong rant on Erlang-style Actors: Lost Dimension
03/01/2012For the same-vat case,Long rant on Erlang-style Actors: Lost Dimension
03/01/2012I don't see how this answersLong rant on Erlang-style Actors: Lost Dimension
03/01/2012Yeah, all these notions ofLong rant on Erlang-style Actors: Lost Dimension
03/01/2012So "all" returns "Array 'a"Long rant on Erlang-style Actors: Lost Dimension
03/01/2012The Q library is nice :)Long rant on Erlang-style Actors: Lost Dimension
02/08/2012OO languages do it forActive Variables in Common Lisp
01/27/2012Their PLDI paper aboutSyntax Desugaring Algorithm Question
04/27/2012At least looking at the NileSTEPS 2011 Progress Report (personal computing in 20kLOC)
04/27/2012Even if say the graphicsSTEPS 2011 Progress Report (personal computing in 20kLOC)
04/28/2012What do you mean bySTEPS 2011 Progress Report (personal computing in 20kLOC)
04/28/2012topsy-turvySTEPS 2011 Progress Report (personal computing in 20kLOC)
01/20/2012I agree, up to simple andVisual Studio Achievements
01/17/2012Searching for type-error messagescrazy PL idea: prescriptive trait inference
12/27/2011Run Your Research: On the Effectiveness of MechanizationRun Your Research: On the Effectiveness of Mechanization
12/20/20111. Here's a recent surveyCambridge Course on "Usability of Programming Languages"
01/06/2012Traditional CS/HCICambridge Course on "Usability of Programming Languages"
12/22/2011That doesn't make sense. TheDesigning a languge — what theory is a must?
12/24/2011Even if we have a formalDesigning a languge — what theory is a must?
12/25/2011Hope.you see my.point now :)Designing a languge — what theory is a must?
12/07/2011Yes, but subject toGeneral purpose as a special case?
11/29/2011The relationship betweenREPL-schmepl?
11/17/2011BSP and LogP *were*Models for distributed parallelism
11/17/2011Reading the replies, I thinkModels for distributed parallelism
10/10/2011This is bizarre directionGoogle's Dart announced
10/10/2011Emscripten looks fun! ItGoogle's Dart announced
10/11/2011AS3 and onwards are a prettyGoogle's Dart announced
10/09/2011In Sean's defense, I believeOpen thread: RIP Steve Jobs
09/28/2011Parallel frameworks for graph processingParallel frameworks for graph processing
10/03/2011Awhile back I pointedParallel frameworks for graph processing
09/24/2011or a happy inbetween?Redesigning the Mozart virtual machine
09/23/2011You might also enjoy EsterelPiecewise functional programming
09/17/2011I think it is, for the mostSample applications for programming languages
09/18/2011For FRP GUI widget creation,Sample applications for programming languages
09/19/2011I view the tasks of creatingSample applications for programming languages
09/20/2011Conversely with FRP you haveSample applications for programming languages
09/20/2011Yeah I've actually beenSample applications for programming languages
09/20/2011For 3, 4, I think I've seenSample applications for programming languages
09/21/2011The second app isn't hard --Sample applications for programming languages
09/21/2011Flapjax AFAIK extracts stuffSample applications for programming languages
09/22/2011You wouldn't write it in theSample applications for programming languages
09/22/2011In Haskell you would haveSample applications for programming languages
09/22/2011The essential notion is thatSample applications for programming languages
09/22/2011File systems, at least theSample applications for programming languages
09/23/2011Sigh. Sure, you can makeSample applications for programming languages
09/20/2011Yes, the way I've been goingSample applications for programming languages
09/22/2011To bring some objectiveGoogle's "The Future of JavaScript" internal memo leaked
09/20/2011I thought systems likeThe SAFE Platform
09/09/2011Socially-motivated designWhat needs to be done?
09/10/2011Yes, I sort of presumed theWhat needs to be done?
09/11/2011Did you have concreteWhat needs to be done?
09/12/2011Wonderful example, thanks!What needs to be done?
09/11/2011Hpc does autotuningWhat needs to be done?
09/12/2011What on that site supports your claim?Yield : Mainstream Delimited Continuations; "yield" from different languages compared and formalized
09/22/2011A mechanism for pushing FRPForum Topics and Story
09/03/2011Early FrTime work wasOpa
09/03/2011Putting it differently, aOpa
09/04/2011Blocking on reads can beOpa
09/04/2011Hi Noel :) Weenie in theOpa
08/25/2011We show that this is notA Monadic Framework for Delimited Continuations
09/05/2011Arguably, and relating to aAsynchronous messaging as integral part of programming language
07/24/2011The standard library happensIs it possible to write code that works the very first time?
07/14/2011I don't think that hasImplementor's guide/tutorial to delimited continuations?
07/16/2011If performance doesn'tImplementor's guide/tutorial to delimited continuations?
07/16/2011I've been on the side ofImplementor's guide/tutorial to delimited continuations?
07/06/2011A lot of things happen inParallel bars
06/27/2011Almost none of these pointsWhy Programming Languages?
06/29/2011You can enforce rules in aWhy Programming Languages?
06/25/2011I've found most of thismodules are anti-modular
06/25/2011What must be accomplished bymodules are anti-modular
06/26/2011I'm partial to incrementalmodules are anti-modular
06/26/2011This sounds right but themodules are anti-modular
06/27/2011The question is more ofmodules are anti-modular
05/30/2011I think we're alsoRob Pike: Public Static Void
05/30/2011Social constructionism andRob Pike: Public Static Void
05/18/2011A previous co-worker came upJavascript x86 interpreter runs Linux in a browser.
05/04/2011Data Representation SynthesisData Representation Synthesis
05/06/2011I was pretty curious aboutData Representation Synthesis
04/12/2011Build Your Own Blocks (BYOB)Build Your Own Blocks (BYOB)
04/13/2011Looking forward to it :)Build Your Own Blocks (BYOB)
04/19/2011BYOB support two mechanismsBuild Your Own Blocks (BYOB)
04/26/2011Thanks, I had been trying toBuild Your Own Blocks (BYOB)
04/12/2011The easiest to testStaking Claims: A History of Programming Language Design Claims and Evidence
04/12/2011You suggest PL features needStaking Claims: A History of Programming Language Design Claims and Evidence
04/13/2011That lack of mathematicalStaking Claims: A History of Programming Language Design Claims and Evidence
04/17/2011From cognitive science, oneStaking Claims: A History of Programming Language Design Claims and Evidence
04/13/20111. Most formal propertiesStaking Claims: A History of Programming Language Design Claims and Evidence
04/13/2011OLPC and bananas: spirals, not pipelinesStaking Claims: A History of Programming Language Design Claims and Evidence
04/18/2011individual-centric social scienceStaking Claims: A History of Programming Language Design Claims and Evidence
04/18/2011In the case of UI, one ofStaking Claims: A History of Programming Language Design Claims and Evidence
04/19/2011The point is that we neededStaking Claims: A History of Programming Language Design Claims and Evidence
04/07/2011You probably are alreadyHistory of PL
04/08/2011Awesome, I've been searchingHistory of PL
03/29/2011Many of the bugs we foundFinding and Understanding Bugs in C Compilers
03/31/2011I reported two concreteFinding and Understanding Bugs in C Compilers
03/30/2011I always wonder why manyBob Harper of CMU is blogging about programming languages and introductory CS education
03/31/2011Why do users use andBob Harper of CMU is blogging about programming languages and introductory CS education
03/13/2011I don't buy thatKeyword and Optional Arguments in PLT Scheme
03/03/2011securing metaobject protocols: mirrors, proxies, views, ...Object capabilities for protecting object slots in prototype-based languages?
03/03/2011I haven't seen enough workObject capabilities for protecting object slots in prototype-based languages?
03/04/2011Ah, I misunderstood reactiveObject capabilities for protecting object slots in prototype-based languages?
03/04/2011prototypes and layoutObject capabilities for protecting object slots in prototype-based languages?
03/04/2011oops wrong placeObject capabilities for protecting object slots in prototype-based languages?
02/09/2011I'm trying to understandStrongly Typed Coroutines (minor question)
01/28/2011You might want to look atHolistic types
01/29/2011If you are, it'd help PLHolistic types
01/24/2011Esterel introduced (?)I've run out of programming languages to study
01/22/2011In the same vein, I've beenI've run out of programming languages to study
01/22/2011You can always dress it up:I've run out of programming languages to study
01/23/2011We've seen this fail, e.g.,I've run out of programming languages to study
01/23/2011I don't see the walledI've run out of programming languages to study
01/23/2011I'm trying to respond toI've run out of programming languages to study
01/23/2011Clean slates are great...I've run out of programming languages to study
01/24/2011Right, I think we're inI've run out of programming languages to study
01/24/2011Capabilities are flexible,I've run out of programming languages to study
01/25/2011I am on the ocaps listI've run out of programming languages to study
01/25/2011The WWW paper, while I haveI've run out of programming languages to study
01/24/2011I think fixedguy steele on how (not) to think of parallel programming
01/23/2011Haven't followed this threadguy steele on how (not) to think of parallel programming
01/10/2011This is great to see --Scala Team Wins ERC Grant
01/07/2011Run a profiler on loading aFast Compilers
01/07/2011Less facetiously, if we lookFast Compilers
01/07/2011Verification and testing,Fast Compilers
01/07/2011Some are -- contracts, typeFast Compilers
01/07/2011Static code coverage is aFast Compilers
01/07/2011Measuring the success of aFast Compilers
01/18/2011This sounds like theFast Compilers
12/26/2010Is there actually aThe Semicolon Wars
12/16/2010Have you tried sending thisThe fundamental limitations of parser combinators... and how to fix them.
12/06/2010Looks fun: related (butContinuation-Passing C: Compiling threads to events through continuations
12/07/2010Oops, guess I had fish on myContinuation-Passing C: Compiling threads to events through continuations
12/08/2010That doesn't really solve theContinuation-Passing C: Compiling threads to events through continuations
12/06/2010It seems rational to, afterPure and Declarative Syntax Definition: Paradise Lost and Regained, Onward 2010
12/09/2010Same for type systems. While"Future of Programming Languages" panel
11/26/2010In many-core concurrentWhat is computation? Concurrency versus Turing's Model
11/17/2010Again, I don't think theA Preliminary Survey on Functional Programming
11/16/20101. Survey design is anA Preliminary Survey on Functional Programming
11/16/2010Social theories are prettyA Preliminary Survey on Functional Programming
11/24/2010aim on SE and FP problems.A Preliminary Survey on Functional Programming
12/14/2010I'm actually trying to putA Preliminary Survey on Functional Programming
11/13/2010Scan-based Data Parallel LanguagesScan-based Data Parallel Languages
11/01/2010This work is very similar toAccelerating Haskell Array Codes with Multicore GPUs
10/31/2010I'm increasingly convincedAsynchronous Programming, Monads and Continuations in C#, F# and Scala
11/02/2010What's your real goal?ToComprehensive overview of security models?
10/21/2010Perhaps an area to look isLooking for pointers: mixfix error recovery
10/11/2010I don't know about theIntel's Array Building Blocks (was Rapidmind) : What do the purists and pragmatists think?
10/12/2010For something at this levelIntel's Array Building Blocks (was Rapidmind) : What do the purists and pragmatists think?
10/12/2010It is impossible to writeIntel's Array Building Blocks (was Rapidmind) : What do the purists and pragmatists think?
10/15/2010It sounds like your problemA functional-programming view of time
10/05/2010Or, see Mesos, gaining inTurning down the LAMP: Software specialization for the cloud
09/25/2010[nm]Omega - Language of the Future
09/29/2010Three basic concepts standWhat is the best system for experimenting with and visualizing complex algorithms?
09/18/2010OoO JavaOoO Java
09/18/2010At least I think that's howOoO Java
09/20/2010In other words, mostOoO Java
09/28/2010An opposite approach to sequential transactional memoryOoO Java
09/16/2010The ptolemy II project andNew Dataflow Programming Language
09/24/2010I think this really meansNew Dataflow Programming Language
09/24/2010I don't really remember theNew Dataflow Programming Language
09/26/2010I'd hope so -- syntax aside,New Dataflow Programming Language
11/28/2010Researchers create newNew Dataflow Programming Language
11/29/2010Monads are a great barrierNew Dataflow Programming Language
11/29/2010Do you mean that in the sameNew Dataflow Programming Language
11/29/2010No. I'm not arguing againstNew Dataflow Programming Language
11/30/2010I'm more thinking in lineNew Dataflow Programming Language
09/13/2010Information flow seemsprinciple of least authority and programming languages
09/07/2010The baselines for both ofIs Transactional Programming Actually Easier?
09/08/2010At first blush, I'd actuallyIs Transactional Programming Actually Easier?
09/08/2010Do you also have aIs Transactional Programming Actually Easier?
09/09/2010Really?Is Transactional Programming Actually Easier?
09/09/2010We can decompose concurrencyIs Transactional Programming Actually Easier?
09/05/2010Haskell-esque FRP systemsJ's concepts rank, composition, and GC
09/12/2010Let's say 'lift' raises aJ's concepts rank, composition, and GC
09/14/2010I'm wondering if a becomeUnifying Actors and Objects?
08/02/2010Towards general nested data parallelismTowards general nested data parallelism
08/03/2010These approaches look fairlyTowards general nested data parallelism
08/04/2010The whole point of theDeprecating the Observer Pattern
08/04/2010Yes and NoDeprecating the Observer Pattern
08/04/2010Ah, you meant a vat handlingDeprecating the Observer Pattern
08/05/2010E's messaging semantics areDeprecating the Observer Pattern
08/06/2010So by "minimal", I meantDeprecating the Observer Pattern
08/04/2010In practice, glitch-freedomDeprecating the Observer Pattern
08/05/2010Making a model robust withDeprecating the Observer Pattern
08/05/2010When you guys supportDeprecating the Observer Pattern
08/03/2010Middle groundDeprecating the Observer Pattern
08/11/2010... and (almost) back fromDeprecating the Observer Pattern
07/22/2010Even in the commercialThe Future of C#
07/24/2010Beat in a temporal sense,The Future of C#
07/17/2010Lambda calculus is generallyIs lambda calculus a logic?
07/08/2010Thus far, I am unaware ofThe Rust Language
07/14/2010I don't think domains areThe Rust Language
07/14/2010Sounds like I need to rereadThe Rust Language
07/20/2010sharing invariants on shared memory ftwThe Rust Language
07/14/2010With regards to your edit,The Rust Language
07/06/2010... but you need to divideUncle Bob's talk at RailsConf 2010
07/03/2010Traceable Data Types for Self-Adjusting ComputationTraceable Data Types for Self-Adjusting Computation
07/03/2010A lot of stuff here... I doLogic programming based GUI framework
07/03/2010The one we've used is prettyLogic programming based GUI framework
06/26/2010Math skills don't sell. ThisWhy Undergraduates Should Learn the Principles of Programming Languages
06/28/2010Why Undergraduates Should Learn the Principles of Programming LanguagesWhy Undergraduates Should Learn the Principles of Programming Languages
07/04/2010Is PLT really fundamentalWhy Undergraduates Should Learn the Principles of Programming Languages
07/11/2010No.Why Undergraduates Should Learn the Principles of Programming Languages
07/06/2010Perhaps worth mentioningSIGPLAN's first Programming Languages Software Award goes to LLVM
06/08/2010... it's all the same people.Data schema languages
06/08/2010engineering is a process - or - so what?some critiques of the Semat initiative
06/08/2010I'd say it's the reverse.some critiques of the Semat initiative
06/08/2010devil in the detailssome critiques of the Semat initiative
06/02/2010(put reply in wrong spot)The Resurgence of Parallelism
06/02/2010Trolling?The Resurgence of Parallelism
05/11/2010seem deeply confused or"Critical code studies"
05/11/2010I found the presentation"Critical code studies"
05/15/2010So I'd say that yes,"Critical code studies"
05/15/2010I agree with some of this,"Critical code studies"
05/09/2010It's like SAT -- hard, butComputing complexity
05/08/2010You might also find DedelusUniversal Temporal Concurrent Constraint Programming
05/02/2010Abstract interpretation is aIs there a site to discuss some issues on abstract interpretation?
05/02/2010You're right -- AI is a veryIs there a site to discuss some issues on abstract interpretation?
04/27/2010There are two basicAdd "unit time delay (D)" operator to functional language with random signals instead of random vars
05/03/2010There are other forms ofThe Structure of Authority: Why security is not a separable concern
05/05/2010I wasn't referring to DoS toThe Structure of Authority: Why security is not a separable concern
05/05/2010Indeed, this is similar howThe Structure of Authority: Why security is not a separable concern
05/06/2010EROS doesn't use cooperativeThe Structure of Authority: Why security is not a separable concern
05/06/2010evaluation not design documentThe Structure of Authority: Why security is not a separable concern
05/07/2010and it survived 10 years ofThe Structure of Authority: Why security is not a separable concern
05/07/2010For starters, I'd like toThe Structure of Authority: Why security is not a separable concern
05/07/2010Like bugs, testing can onlyThe Structure of Authority: Why security is not a separable concern
04/20/2010I believe this was theSeeking thoughtful criticisms of functional programming and languages
04/24/2010Several pieces of productionSeeking thoughtful criticisms of functional programming and languages
05/23/2010some harmless adviceSeeking thoughtful criticisms of functional programming and languages
06/10/2010... which brings us to theSeeking thoughtful criticisms of functional programming and languages
04/27/2010What's the goal?SEC interested in formalising contracts ... in Python
04/27/2010I'm not arguing against aSEC interested in formalising contracts ... in Python
04/27/2010Why not stick with RISC?SEC interested in formalising contracts ... in Python
04/27/2010Your post suggests the onlySEC interested in formalising contracts ... in Python
04/27/2010It's just sufficient toSEC interested in formalising contracts ... in Python
04/28/2010That's an example but notSEC interested in formalising contracts ... in Python
04/15/2010That's fine if your laptopMore iPhone PL lockdown... Goodbye Scratch!
05/02/2010I could have expanded thisMore iPhone PL lockdown... Goodbye Scratch!
04/16/2010But granted, a javascriptIdeas for a PL-oriented honors thesis
04/16/2010What I think I see is aIdeas for a PL-oriented honors thesis
04/16/2010Having adapted and written aIdeas for a PL-oriented honors thesis
04/16/2010Totally doable, go for it!Ideas for a PL-oriented honors thesis
04/14/2010I don't know of *any*Representing Type Information in Dynamically Typed Languages
04/14/2010Perhaps the underlyingRepresenting Type Information in Dynamically Typed Languages
04/14/2010Huh? Arthur was here a weekRepresenting Type Information in Dynamically Typed Languages
04/15/2010Does it?Representing Type Information in Dynamically Typed Languages
04/15/2010It was a reference bookRepresenting Type Information in Dynamically Typed Languages
04/09/2010This is consistent withiPhone PL lockdown
04/09/2010There are actually twoiPhone PL lockdown
04/10/2010Lockdown is common iniPhone PL lockdown
04/10/2010Trying to argue Apple'siPhone PL lockdown
04/11/2010They support JavaScript, soiPhone PL lockdown
09/09/2010I believe they put theiPhone PL lockdown
04/14/2010The connection has been moresplitting the program into formalizable vs. non-formalizable parts?
04/14/2010I didn't mean to get intosplitting the program into formalizable vs. non-formalizable parts?
03/31/2010Hard not to think moreSmall is Beautiful: the design of Lua
03/17/2010type can be usefullyOn the (Alleged) Value of Proof for Assurance
03/29/2010I believe ie9 has aHave tracing JIT compilers won?
04/02/2010Trace-based JITs use tracesHave tracing JIT compilers won?
03/11/2010A little more appealing inHave tracing JIT compilers won?
03/10/2010Unstated here, whenHave tracing JIT compilers won?
03/11/2010Naively, I would guess thatHave tracing JIT compilers won?
03/11/2010Intensive use of JS TheHave tracing JIT compilers won?
03/11/2010Membranes are fragile if youHave tracing JIT compilers won?
03/11/2010Nope, just the papers IHave tracing JIT compilers won?
03/12/2010Yep, Aspect-OrientedHave tracing JIT compilers won?
03/17/2010A language level mechanismHave tracing JIT compilers won?
03/12/2010This post seems pretty off.Have tracing JIT compilers won?
03/12/2010This seems to assume tracesHave tracing JIT compilers won?
06/11/2010For popular usage of theHave tracing JIT compilers won?
06/13/2010Wow, great list,Have tracing JIT compilers won?
06/25/2010In general: browserHave tracing JIT compilers won?
02/28/2010Most software does not needlarge-scale programming systems inspired by ecological and market systems
02/23/2010David, I would reallyTesting release of a platform for hosting pure functional web applications
02/23/2010Jules, most of that isn'tTesting release of a platform for hosting pure functional web applications
02/21/2010I don't understand whatTesting release of a platform for hosting pure functional web applications
02/21/2010Still not sure what you're going forTesting release of a platform for hosting pure functional web applications
02/22/2010Not sure who 'you' is, butTesting release of a platform for hosting pure functional web applications
02/22/2010I think he means staticTesting release of a platform for hosting pure functional web applications
02/23/2010[deleted]Testing release of a platform for hosting pure functional web applications
02/15/2010Not explicitly stated in theA few billion lines of code later: using static analysis to find bugs in the real world
02/17/2010I'm definitely taking thisA few billion lines of code later: using static analysis to find bugs in the real world
02/12/2010I would have thought it'sGoogle TechTalk: The Evolution of End-User Programming
02/13/2010Ah, I view spreadsheets as aGoogle TechTalk: The Evolution of End-User Programming
02/05/2010Clutter ToolkitClutter Toolkit
02/04/2010I'm not sure which to writeComputational complexity of cascading stylesheets?
02/04/2010Yes. Unfortunately, it hasComputational complexity of cascading stylesheets?
02/05/2010There are a lot of problems.Computational complexity of cascading stylesheets?
02/04/2010layout renders must beComputational complexity of cascading stylesheets?
02/05/2010I was not being fair to GregComputational complexity of cascading stylesheets?
02/04/2010I was a little surprisedContinuity Analysis of Programs
02/03/2010I thought the idea forHipHop: Facebook runs compiled PHP on its servers
02/02/2010If you switch to SchemeLISP and parentheses
02/13/2010It's called cooperative bugWhat data sets would tell you the most about what sort of programming language to design?
01/25/2010Historical or sociological studies of programming language evolution?Historical or sociological studies of programming language evolution?
01/25/2010You can also analyzeHistorical or sociological studies of programming language evolution?
01/25/2010In general, I agree. ForHistorical or sociological studies of programming language evolution?
01/26/2010With PLs, no one really hasHistorical or sociological studies of programming language evolution?
01/26/2010Let's me put it to you likeHistorical or sociological studies of programming language evolution?
01/26/2010Just got it, thanks!Historical or sociological studies of programming language evolution?
01/26/2010I'm pretty confident that noHistorical or sociological studies of programming language evolution?
01/28/2010Historical or sociological studies of programming language evolution?Historical or sociological studies of programming language evolution?
01/28/2010But this is why I think theHistorical or sociological studies of programming language evolution?
01/19/2010An option is to go straightAcademic advice: Mathematics or Computer Science?
01/20/2010Funny.. I'd suggest skippingAcademic advice: Mathematics or Computer Science?
01/20/2010I don't understand theAcademic advice: Mathematics or Computer Science?
01/16/2010Perhaps to further confuseDeclarative binding vs. composition
01/16/2010A reason I'm in the group IDiscoverability, Language Features, and the First Step Toward Composition
01/08/2010I've found 'rapidRapid Prototyping tools & environments from academia
01/08/2010Can you imagine any systemRapid Prototyping tools & environments from academia
01/08/2010Can you provide concreteRapid Prototyping tools & environments from academia
01/06/2010but that it works best ifwondering why C is the language of compilers- when a Scheme subset would seem to be a better fit?
01/06/2010wondering why C is the language of compilers- when a Scheme subset would seem to be a better fit?wondering why C is the language of compilers- when a Scheme subset would seem to be a better fit?
01/07/2010engineering management waswondering why C is the language of compilers- when a Scheme subset would seem to be a better fit?
01/06/2010I'm finding your commentwondering why C is the language of compilers- when a Scheme subset would seem to be a better fit?
01/07/2010I still can't see how towondering why C is the language of compilers- when a Scheme subset would seem to be a better fit?
01/03/2010Assuming the point isJison
01/04/2010I have never been able toJison
01/05/2010That was what I was the pageJison
01/02/2010At different ends, PADS/MLThe year in review, and What's to come
12/30/2009Perhaps a trite answer, butMetrics or formailizations of "local reasoning"?
12/30/2009Do you mean a verifiedmost water-tight real-world language implementation?
12/31/2009I have some NDA issues here,most water-tight real-world language implementation?
12/31/2009Heck, alpha particles mightmost water-tight real-world language implementation?
12/31/2009That's pretty much the normmost water-tight real-world language implementation?
01/02/2010[comment mostlyOpen wiki-like code repository
12/22/2009I think of the "formalUnfulfilled Promises of Software Technologies? (!)
01/02/2010Then the C module isUnfulfilled Promises of Software Technologies? (!)
12/14/2009I've had a similar intuitionNaive Question? Definition of "Higher Order"
12/15/2009Ah, right, I was going for,Naive Question? Definition of "Higher Order"
12/15/2009Great example!Naive Question? Definition of "Higher Order"
12/12/2009Why developer controls?Developer Guided Code Splitting
12/14/2009I think you missed myDeveloper Guided Code Splitting
12/14/2009I've never really paidDeveloper Guided Code Splitting
12/16/2009In a distributed system,Developer Guided Code Splitting
12/16/2009How do we record thatDeveloper Guided Code Splitting
12/16/2009Developer Guided Code SplittingDeveloper Guided Code Splitting
12/19/2009What about promises/futuresDeveloper Guided Code Splitting
12/20/2009It might not be as bad inDeveloper Guided Code Splitting
12/07/2009There are at least threeIs Small Still Beautiful?
12/09/2009[edit: comment retracted]Differentiating Parsers
12/04/2009Two perspectives. First,Pragmatic declarative event abstraction
12/04/2009It isn't necessarilyPragmatic declarative event abstraction
12/03/2009PLaneT Scheme is large and"Corpus" of lisp/scheme programs which can be used for research
11/26/2009A fun take on model-drivenHow to learn about formal top-down approach to software architecture?
12/01/2009A few things. I'll mostlyReactive Extensions for .NET released this week
12/01/2009I think we're in agreementReactive Extensions for .NET released this week
12/03/2009Push, pull, and collectionsReactive Extensions for .NET released this week
12/04/2009Why must the pull beReactive Extensions for .NET released this week
12/04/2009I was trying to figure thatReactive Extensions for .NET released this week
12/04/2009Is this what you mean byReactive Extensions for .NET released this week
12/04/2009I can't find theReactive Extensions for .NET released this week
12/04/2009... so I guess IObservableReactive Extensions for .NET released this week
12/04/2009Funny -- my interpretationReactive Extensions for .NET released this week
11/19/2009Coherent ReactionsConnections between Transactions and Promises/Futures?
11/12/2009I'd add 3) stay in L1Go or Unladen Swallow?
11/06/2009And really, that's why aState of the art C compiler optimization tricks
11/07/2009Fixed and added moreState of the art C compiler optimization tricks
11/07/2009I wouldn't be surprised byJohn Hughes on Erlang and Haskell
11/07/2009I don't follow -- what's theJohn Hughes on Erlang and Haskell
11/07/2009Also, the formatting of thisLiterate Programming: Retrospect and Prospects
10/28/2009Going by your description,Causal Commutative Arrows and Their Optimization
10/28/2009Change propagation vs.Causal Commutative Arrows and Their Optimization
10/22/2009Languages and systems for edge-computing?Languages and systems for edge-computing?
10/23/2009Ah, let me try again, andLanguages and systems for edge-computing?
10/24/2009Just putting out feelers :)Languages and systems for edge-computing?
10/21/2009The runtime semantics areErik Meijer's MSDN Channel 9 lecture series on functional programming
10/23/2009I think his point was thatSeeking broad survey of wide range of concurrency idioms
11/06/2009That presentation seemsSeeking broad survey of wide range of concurrency idioms
10/19/2009Great writeup of dataflowSeeking broad survey of wide range of concurrency idioms
10/21/2009I haven't followed CEPSeeking broad survey of wide range of concurrency idioms
10/22/2009Add failure (a lot of funSeeking broad survey of wide range of concurrency idioms
10/22/2009I suspect, in your context,Seeking broad survey of wide range of concurrency idioms
10/22/2009How often do you assume yourSeeking broad survey of wide range of concurrency idioms
10/22/2009Right.. but that makesSeeking broad survey of wide range of concurrency idioms
10/22/2009A stepping stone isSeeking broad survey of wide range of concurrency idioms
10/22/2009I want an example of aSeeking broad survey of wide range of concurrency idioms
10/22/2009That repeats what I said ISeeking broad survey of wide range of concurrency idioms
10/23/2009Map/Reduce is implicitlySeeking broad survey of wide range of concurrency idioms
10/24/2009I took issue with trying toSeeking broad survey of wide range of concurrency idioms
10/22/2009The one which I was thinkingSeeking broad survey of wide range of concurrency idioms
11/02/2009I'm loving task parallelismSeeking broad survey of wide range of concurrency idioms
10/13/2009A points-to analysis tellsAlgorithms for inferring most specific types?
10/13/2009That's essentially theAlgorithms for inferring most specific types?
10/14/2009I think 0-cfa is a commonAlgorithms for inferring most specific types?
10/14/20091) Don't region and effectAlgorithms for inferring most specific types?
10/15/2009One of my favorite talks wasSafe Garbage Collection = Regions + Intensional Type Analysis
10/18/2009I don't think so, but reallySafe Garbage Collection = Regions + Intensional Type Analysis
10/02/2009Is it really that severe,Swarm now based on Scala 2.8, uses delimited continuations
10/02/2009The use of a cloud serviceSwarm now based on Scala 2.8, uses delimited continuations
10/02/2009The PGAS abstraction is alsoSwarm now based on Scala 2.8, uses delimited continuations
09/25/2009To be fair, GoF opened upJVM language summit 2009
09/08/2009As part of a problem I'veDSL goodness
09/08/2009To an extent, I agree: theDSL goodness
09/09/2009Ironically, this project wasDSL goodness
09/09/2009In this case, kernel codeDSL goodness
09/09/2009I'm partially conflating anDSL goodness
09/01/2009I've been saying this forTransactional Memory versus Locks - A Comparative Case Study
09/01/2009I believe their raceTransactional Memory versus Locks - A Comparative Case Study
08/18/2009Relevant paper in CCS lastfunctions vs procedures..
08/21/2009My favorite perl proof isPerl Cannot Be Parsed: A Formal Proof
08/13/2009In javascript, up toReceiver knowing the sender?
08/12/2009The End of the GPU RoadmapThe End of the GPU Roadmap
08/21/2009Conal, by extension, I'dThe End of the GPU Roadmap
08/22/2009Should I think about this,The End of the GPU Roadmap
08/03/2009A more PL-y attempt at theProgramming Made "Simple"
07/28/2009Evaluation and Usability of Programming Languages and Tools (PLATEAU)Evaluation and Usability of Programming Languages and Tools (PLATEAU)
07/28/2009Evaluation and Usability of Programming Languages and Tools (PLATEAU)Evaluation and Usability of Programming Languages and Tools (PLATEAU)
07/30/2009Can you back up any of whatEvaluation and Usability of Programming Languages and Tools (PLATEAU)
08/01/2009Most top departments haveEvaluation and Usability of Programming Languages and Tools (PLATEAU)
08/01/2009Touche ;-) What would theEvaluation and Usability of Programming Languages and Tools (PLATEAU)
08/05/2009people who live in glass housesEvaluation and Usability of Programming Languages and Tools (PLATEAU)
07/20/2009With such reasoning, youSimplicity
07/08/2009I used to think thatTrade-offs with abstraction
06/15/2009... until you realize it's a smartGRS vs LTRS
06/11/2009Considering it's 0.005, IJob trends
06/11/2009If I understand correctly,Bridging the informal and the formal
06/02/2009Alternatively, and what weGoolgle & IDEs
05/17/2009This is an excitingTypes are Calling Conventions
05/13/2009Why does that make theComputer music: a bastion of interactive visual dataflow languages
05/15/2009It's an impressively productComputer music: a bastion of interactive visual dataflow languages
05/15/2009The hope was that they couldComputer music: a bastion of interactive visual dataflow languages
05/13/2009general programming with visual dataflowComputer music: a bastion of interactive visual dataflow languages
05/13/2009There are a few variationsComputer music: a bastion of interactive visual dataflow languages
05/15/2009I'm not as convinced on theComputer music: a bastion of interactive visual dataflow languages
05/25/2009I find it to be domainComputer music: a bastion of interactive visual dataflow languages
05/29/2009It's probably worthComputer music: a bastion of interactive visual dataflow languages
06/02/2009I agree aboutComputer music: a bastion of interactive visual dataflow languages
05/11/2009WolframAlphaWolframAlpha
05/19/2009We compared the overallWhy Did M.I.T. Switch from Scheme to Python?
05/06/2009I've been finding HCI to beRight on!
05/08/2009Perhaps I should be clearer.Right on!
05/07/2009Nowadays, I spend my timeRight on!
05/01/2009It sounds like you'reLooking for list of programming problems to thoroughly test a language
05/02/2009You inherently have racesYAPL - yet another programming language
04/26/2009I've been thinking alongCoherent Reaction
04/20/2009Another way I have thought2009 Lang.NET
04/21/2009I'm not sure what you mean2009 Lang.NET
04/21/2009You can use a push2009 Lang.NET
05/06/2009An "I'm Done" message seems2009 Lang.NET
04/13/2009As "standard cobol employsADD 50 TO COBOL GIVING COBOL
04/15/2009As somebody who got paidWhy are objects so unintuitive?
04/20/2009I wish that was my thesis :)Why are objects so unintuitive?
04/20/2009Some off the top of myWhy are objects so unintuitive?
04/21/20091. I'd give Adobe a bit moreWhy are objects so unintuitive?
04/22/2009Tracking actions (especiallyWhy are objects so unintuitive?
04/22/2009Strange about WPF. Back atWhy are objects so unintuitive?
04/22/2009I found the 150 rule inWhy are objects so unintuitive?
04/04/2009Alternatively, there's aTwitter and Scala
04/05/2009There are nice papers (withTwitter and Scala
04/08/2009Figuring I'd eventually beTwitter and Scala
04/08/2009Right, I meant PL as theTwitter and Scala
04/08/2009Right; you hope the globalTwitter and Scala
03/29/2009Finding once-a-yearOnward!
03/30/2009You need to keep peopleOnward!
03/24/2009I've come to think aboutEliminating fuzziness of access modifiers
04/08/2009Closures are one mechanismEliminating fuzziness of access modifiers
03/23/2009Two jump to mind:Automatic data structure / layout selection?
03/20/2009Perhaps look at Walid Taha'sTiered approaches to higher order programming?
03/11/2009I don't see how ocaps changeLanguages and security: a short reading list
03/07/2009C++ FuturesC++ Futures
03/07/2009It might not be so bad. IfC++ Futures
03/07/2009In terms of level ofThe Meta-LtU Thread
03/08/2009Google bought out bloggerThe Meta-LtU Thread
02/19/2009Two more usefulDana
02/26/20091. The implementation of theDana
02/26/2009Ah, that makes more sense.Dana
02/08/2009If the point is aOn the (Im)possibility of Obfuscating Programs
02/08/2009Many things are impossible,On the (Im)possibility of Obfuscating Programs
02/07/2009I suggest we study thePL Grand Challenges
02/08/2009Brushing off my rebuttalPL Grand Challenges
02/09/2009Why is neurolinguisticsPL Grand Challenges
02/10/2009... and what does the brainPL Grand Challenges
01/22/2009Parsing with error recovery?Parsing with error recovery?
01/18/2009Of further interest:Path Feasibility Analysis for String-Manipulating Programs
01/15/2009I would suggest not doingLooking for papers describing advanced language topics in terms of C programming
01/16/2009Based off of thisLooking for papers describing advanced language topics in terms of C programming
01/17/2009Those books primarily* useLooking for papers describing advanced language topics in terms of C programming
01/15/2009I think they're referring toCWE/SANS TOP 25 Most Dangerous Programming Errors
01/22/2009How are buffer overflows andCWE/SANS TOP 25 Most Dangerous Programming Errors
01/15/2009Continuing theIntroducing Dawn - yet another new language
01/16/2009We have shown how toIntroducing Dawn - yet another new language
01/17/2009I am just tired of Paul notIntroducing Dawn - yet another new language
01/20/2009An example from a library IIntroducing Dawn - yet another new language
01/23/2009Switch the two rightIntroducing Dawn - yet another new language
01/14/2009The distinction between aWhat Are The Resolved Debates in General Purpose Language Design?
01/14/2009Good catch, I was blurringWhat Are The Resolved Debates in General Purpose Language Design?
01/14/2009Just saying data flowWhat Are The Resolved Debates in General Purpose Language Design?
01/14/2009Yes -- perhaps I wasn'tWhat Are The Resolved Debates in General Purpose Language Design?
01/13/2009Somewhat close is the notionWhat Are The Resolved Debates in General Purpose Language Design?
01/15/2009I disagree on graphicalWhat Are The Resolved Debates in General Purpose Language Design?
01/15/2009Excel is a mixed, but mostWhat Are The Resolved Debates in General Purpose Language Design?
01/16/2009The term DSL gets stretchedWhat Are The Resolved Debates in General Purpose Language Design?
01/23/2009Historically, neither wasWhat Are The Resolved Debates in General Purpose Language Design?
12/28/2008Wishing for the death of a2008 In Review - What Happened with Programming Languages?
12/31/2008Productivity often wins. For2008 In Review - What Happened with Programming Languages?
12/31/2008If the multiprocessing stuff2008 In Review - What Happened with Programming Languages?
01/04/20091. The software (bad CPU2008 In Review - What Happened with Programming Languages?
12/27/2008Perhaps (very) convenientThe Lambda Cube & Some Programming Languages
12/27/2008I'm curious with respect toThe Lambda Cube & Some Programming Languages
12/27/2008The lambda cube seems to beThe Lambda Cube & Some Programming Languages
12/22/2008What is the thesis of thisTwo Lightweight DSLs for Rich UI Programming
12/22/2008Gotcha, thanks. I totallyTwo Lightweight DSLs for Rich UI Programming
12/11/2008I wouldn't be so quick toLight(er) Reading Suggestions?
12/03/2008I won't have time to readStaging with Delimited Control
12/04/2008I did not mean to makeStaging with Delimited Control
12/01/2008Perhaps take a look atRemembering everything - a new(?) idea for a new PL
12/01/2008A little better (eg,Remembering everything - a new(?) idea for a new PL
12/03/2008Races can be benign.Functional building blocks as concurrency patterns
12/05/2008That sounds like arbitrarilyFunctional building blocks as concurrency patterns
12/05/2008Ah, reread it, makes moreFunctional building blocks as concurrency patterns
11/27/2008CUFP might be applicable toorefereed journal with open access?
11/11/2008Is BitC being used to buildThe Origins of the BitC Programming Language
11/08/2008Perhaps as a suggestedBurst Tries paper
10/28/2008I don't know of anythingWeb application shootout?
10/28/2008Nah, that was part of theWeb application shootout?
10/29/2008An existence proof is oneWeb application shootout?
10/30/2008I'm hoping you did notWeb application shootout?
10/28/2008I'd take a look at work atDeclarative layout and/or UI languages?
11/01/2008Another interesting one,Declarative layout and/or UI languages?
10/13/2008Funny, I had a rejectedOn the (perceived) equivalence of static and dynamically typed reflective programming languages
10/17/2008I would prefer to use aOn the (perceived) equivalence of static and dynamically typed reflective programming languages
10/10/2008One place I worked at usedDSL or dialects used inside compilers
10/02/2008EBNF is (occasionally) goodVisual Programming Language Syntax Formalisms
09/30/2008Or anything debating theProgramming Languages Aren't
09/30/2008if I understand what you'reCan function pointers be "fixed"
09/24/2008They are actively developingIntel Ct: C for Throughput Computing
09/26/2008targeted search trendsNarrowing field of languages?
09/12/2008(... without having readA Framework for Comparing Models of Computation
09/05/2008Another paper of interest (ICompiler Validation through Program Analysis
08/22/2008Error messages can sufferHow to do E/DSLs successfully?
08/24/2008PHP is secure in theIn Praise of Scripting: Real Programming Pragmatism
08/19/2008I'm curious about aOPIS -- Distributed Arrows In O'Caml
08/17/2008For a front-end, a patcherMozilla "Ubiquity"
07/28/2008paper suggestions for some current topicspaper suggestions for some current topics
07/28/2008True continuous time varyingBeyond FRP: physics-inspired programming abstractions?
07/28/2008that was what I wasBeyond FRP: physics-inspired programming abstractions?
07/21/2008I like 1. Can fields beFunctional reactive programming in C# for WPF
07/22/2008I do most of my simple UIsFunctional reactive programming in C# for WPF
07/13/2008The desire forIn search for a programming language to replace spreadsheets.
07/01/2008Data flow is a natural modelWhy Multi-Core is Easy and Internet is Hard
07/03/2008A FRP variable seems like aWhy Multi-Core is Easy and Internet is Hard
12/09/2009You might enjoyProgram Visualization: Flowchart Layout Algorithms?
06/18/2008The template debugging outFunctional Programming in the ACM CS Curriculum
06/07/2008... what about the manycoreerlang green threads and the CLR
06/02/2008Butchering the spirit ofTypes Considered Harmful
06/01/2008The references escape me,Computational Thinking
05/18/2008Is your concern more bentRegions for Code GC?
05/07/2008primitiveIn what case a system doesn't benefit from MapReduce? Do you know any example which doesn't benefit from MapReduce
05/05/2008Well-timed - one of the twoA located lambda calculus
04/29/2008Not really; these techniquesAutomatic Patch-Based Exploit Generation
04/30/2008The assumption is that anAutomatic Patch-Based Exploit Generation
04/13/2008Let me paraphrase. DoesSimple type system oriented question
04/11/2008tree grammarsContext free grammar for shapes in a 2d grid?
04/10/2008Can anyone reference aSafe and Secure Software in Ada
04/10/20081. For the WikipediaSafe and Secure Software in Ada
04/10/2008How can you hope toSafe and Secure Software in Ada
04/13/2008physics unnecessarySafe and Secure Software in Ada
04/13/2008That's a red herring.Safe and Secure Software in Ada
04/12/2008Current systems that runSafe and Secure Software in Ada
04/10/2008not reallySimply efficient functional reactivity
10/25/2010Cliff's experience is aboutConcurrent Composition and Algebras of Events, Actions, and Processes
10/26/2010parallelism is where the compute isConcurrent Composition and Algebras of Events, Actions, and Processes
10/26/2010ignore meConcurrent Composition and Algebras of Events, Actions, and Processes
03/16/2008TitaniumLanguages best suited for scientific computing?
03/10/2008not enough informationEducational environments to learn programming
03/16/2008topExcel as a different programming paradigm
03/01/2008JIFBell-LaPadula and type safety
03/05/2008I'm missing somethingBell-LaPadula and type safety
03/06/2008not so clearBell-LaPadula and type safety
03/06/2008oopsBell-LaPadula and type safety
03/03/2008reactive systemsA Question about Overlap
02/06/2008other ways to look at ittime as a first class value?
01/20/2008wellImpact of OO language style on code
01/21/2008AFAICTOpen5G web app language/system
01/18/2008not sure I see itBret Victor's Substroke
01/02/2008something more accessible?Protium ..
01/03/2008A way to understand it relative to previous work?Protium ..
12/05/2007Symbolic/Concolic Signature GeneratorsDySy: Dynamic Symbolic Execution for Invariant Inference
11/08/2007one derivationDependent Classes
11/05/2007othersPL research & grad schools?
11/05/2007ugrad vs gradPL research & grad schools?
10/19/2007persistent data vs persistant relational dataThe End of an Architectural Era (It's Time for a Complete Rewrite)
10/22/2007perhapsThe End of an Architectural Era (It's Time for a Complete Rewrite)
10/11/2007ITAExamples of large-scale functional language projects
12/29/2007SkydeckExamples of large-scale functional language projects
10/23/2007??Examples of large-scale functional language projects
11/19/2007I don't think soExamples of large-scale functional language projects
10/05/2007follow up paperDerivation and Evaluation of Concurrent Collectors
08/27/2007I agree with bothWhat is a state?
09/19/2009Be careful: many of theseTools for (PhD) Researching
06/03/2007rightAutomated Whitebox Fuzz Testing
04/02/2007ehInteractivity considered harmful
02/27/2007logical vs statisticalBehaviour Diffing
02/28/2007neatBehaviour Diffing
02/12/2007collectReactive Programming
02/16/2007delta propagationReactive Programming
01/14/2010That particular experimentReactive Programming
01/16/2010How necessary are these inReactive Programming
01/16/2010Wow, that clears up a lotReactive Programming
01/16/2010Weak references also 1)Reactive Programming
01/17/2010I can't comment on it much,Reactive Programming
01/15/2010Reactive ProgrammingReactive Programming
01/19/2010I think some of this isReactive Programming
02/09/2007yesBetter language tools
01/23/2007hiyaF3: New statically typed scripting language for java
12/19/2006function basedFunctional Reactive GUI for O'Caml
12/21/2006one moreFunctional Reactive GUI for O'Caml
12/22/2006blocksFunctional Reactive GUI for O'Caml
12/18/2006setTimeoutCompiling Factor to Javascript
12/19/2006exceptionsCompiling Factor to Javascript
12/17/2006policy, lawTheorem proving and patents ...
10/14/2006fixedFlapjax - Functional Reactive Ajax
07/22/2008dynamic-wind might helpmuSE - an embeddable scheme dialect
01/07/2010A variant of 'collect' is inOracles
01/08/2010A 'collect' primitive,Oracles
01/06/2010A few years ago, I wrote aOracles
01/07/2010I think an underlyingOracles
01/07/2010Leo Meyerovich mentionedOracles
01/13/2010Is WPF really synchronous?Oracles
01/13/2010Glitch freedom is about notOracles
01/21/2010The theoretical underpiningOracles
01/21/2010My concern is two-fold:Oracles
04/20/2008For the record, ScottLisp Lovers, how would you fix Lisp or bring it up to date?
01/30/2009*Bump* -- what about provingLightweight Static Capabilities
03/23/2006maybeI "got" imperative programming throught data binding
06/14/2009The more important void hereThe Next Mainstream Programming Languages
12/30/2009At work I use 16 and 32 coreThe Next Mainstream Programming Languages
12/29/2005Duck typing vs Structural SubtypingDuck typing vs Structural Subtyping
07/26/2008We see this in the PLShoot-out: most annoying compiler error message

LtU Topic Index Sorted by Date LtU Topic Index Sorted by Topic LtU Index of Post Authors Zipped LtU Archive


Chris Rathman/ Chris.Rathman@tx.rr.com