Posts By: lmeyerov
| Date | Post | Topic |
| 07/17/2012 | What happens with recursion, | OO type systems and BNFs |
| 07/18/2012 | usually BNFs are has-a | OO type systems and BNFs |
| 07/06/2012 | No Singularity | Less is exponentially more: Rob Pike on Go and Why C++ Programmers Aren't Flocking to it. |
| 07/02/2012 | PGAS | Less is exponentially more: Rob Pike on Go and Why C++ Programmers Aren't Flocking to it. |
| 07/01/2012 | We'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/2012 | I think we'll start writing | Less is exponentially more: Rob Pike on Go and Why C++ Programmers Aren't Flocking to it. |
| 07/01/2012 | I'll definitely be attending | Less is exponentially more: Rob Pike on Go and Why C++ Programmers Aren't Flocking to it. |
| 07/02/2012 | Cool, double checking with | Less is exponentially more: Rob Pike on Go and Why C++ Programmers Aren't Flocking to it. |
| 07/01/2012 | Agreed about other -- we did | Less is exponentially more: Rob Pike on Go and Why C++ Programmers Aren't Flocking to it. |
| 07/01/2012 | Dev/prototyping speed | Less is exponentially more: Rob Pike on Go and Why C++ Programmers Aren't Flocking to it. |
| 07/03/2012 | A 1000 words | Less is exponentially more: Rob Pike on Go and Why C++ Programmers Aren't Flocking to it. |
| 07/03/2012 | Yep! | Less is exponentially more: Rob Pike on Go and Why C++ Programmers Aren't Flocking to it. |
| 06/09/2012 | Socio-PLT for language engineering | Why Do Some Programming Languages Live and Others Die? |
| 06/09/2012 | Programmer Perception Questions? | Why Do Some Programming Languages Live and Others Die? |
| 06/10/2012 | Don't read too closely into Wired | Why Do Some Programming Languages Live and Others Die? |
| 06/10/2012 | Different forms of social optimizations | Why Do Some Programming Languages Live and Others Die? |
| 06/10/2012 | Agreed on many points. A few | Why Do Some Programming Languages Live and Others Die? |
| 06/12/2012 | Hmm, any thoughts on how to | Why Do Some Programming Languages Live and Others Die? |
| 06/13/2012 | For testing, it would be | Why Do Some Programming Languages Live and Others Die? |
| 06/11/2012 | This is a great paper. Just | Why Do Some Programming Languages Live and Others Die? |
| 06/06/2012 | You mean an | Graphical languages of the Russian space program |
| 06/05/2012 | focusing on sexual | Synth programming language concept |
| 05/24/2012 | D3: Thinking with Joins | D3: Thinking with Joins |
| 05/27/2012 | Most JavaScript frameworks | D3: Thinking with Joins |
| 05/27/2012 | The enter and exit is really | D3: Thinking with Joins |
| 05/28/2012 | Also, I was questioning what | D3: Thinking with Joins |
| 05/22/2012 | My experiences with | Languages & Niches |
| 05/30/2012 | But concurrency without data | Languages & Niches |
| 06/02/2012 | You are talking about a | Languages & Niches |
| 05/08/2012 | Folk theorems and killer heuristics | On the Naturalness of Software |
| 05/09/2012 | I found it to be a very | Feather: A Heapless Functional Programming Language |
| 05/06/2012 | Divorcing the adoption of | Why and How People Use R |
| 04/27/2012 | Huh? Lua was explicitly made | Why and How People Use R |
| 04/27/2012 | It wasn't just public money | Why and How People Use R |
| 03/30/2012 | Quantitative comparison of unit testing vs. static typing? | Quantitative comparison of unit testing vs. static typing? |
| 03/30/2012 | The wonderful thing about | Quantitative comparison of unit testing vs. static typing? |
| 03/31/2012 | I'm actually reaching for a | Quantitative comparison of unit testing vs. static typing? |
| 04/20/2012 | I have never encountered a | Quantitative comparison of unit testing vs. static typing? |
| 04/23/2012 | Healthy perspective, but a little terse :) | Quantitative comparison of unit testing vs. static typing? |
| 04/24/2012 | I'm preparing a survey right | Quantitative comparison of unit testing vs. static typing? |
| 04/24/2012 | I want to expose the biases, | Quantitative comparison of unit testing vs. static typing? |
| 03/31/2012 | Neat! The Wrangler program | Quantitative comparison of unit testing vs. static typing? |
| 03/31/2012 | I agree that checking for a | Quantitative comparison of unit testing vs. static typing? |
| 04/01/2012 | Great, I was rather | Quantitative comparison of unit testing vs. static typing? |
| 04/01/2012 | Boolean syntax considered harmful | Quantitative comparison of unit testing vs. static typing? |
| 04/01/2012 | Yep, agreed -- that's what I | Quantitative comparison of unit testing vs. static typing? |
| 04/01/2012 | User studies save lives :) | Quantitative comparison of unit testing vs. static typing? |
| 04/01/2012 | I'm using quantitative in the same | Quantitative comparison of unit testing vs. static typing? |
| 04/08/2012 | For example, it is not unit | Quantitative comparison of unit testing vs. static typing? |
| 04/02/2012 | It sounds like the random | Quantitative comparison of unit testing vs. static typing? |
| 04/06/2012 | Now, Username.t and | Quantitative comparison of unit testing vs. static typing? |
| 04/02/2012 | Cool, good catch. For the | Quantitative comparison of unit testing vs. static typing? |
| 04/03/2012 | To be clear, I don't think | Quantitative comparison of unit testing vs. static typing? |
| 04/03/2012 | Cost is one of those fluid | Quantitative comparison of unit testing vs. static typing? |
| 06/20/2012 | Science! | Quantitative comparison of unit testing vs. static typing? |
| 06/22/2012 | What the study shows is that | Quantitative comparison of unit testing vs. static typing? |
| 03/24/2012 | ignore | Retrospective Thoughts on BitC |
| 04/15/2012 | Traceable data types don't | Parsing: The Solved Problem That Isn't |
| 04/15/2012 | I think we're generally in | Parsing: The Solved Problem That Isn't |
| 04/15/2012 | I think you're missing my | Parsing: The Solved Problem That Isn't |
| 04/15/2012 | A memoized function takes a | Parsing: The Solved Problem That Isn't |
| 04/15/2012 | Hmm I did not mean to imply | Parsing: The Solved Problem That Isn't |
| 04/15/2012 | Again, see attribute | Parsing: The Solved Problem That Isn't |
| 04/15/2012 | It looks like what I | Parsing: The Solved Problem That Isn't |
| 03/24/2012 | For any of these functional | How to Generate (Hard) Real-Time Code from Declarative Programming Languages? |
| 03/24/2012 | I don't work in RT, so I | How to Generate (Hard) Real-Time Code from Declarative Programming Languages? |
| 03/29/2012 | A lot of the interest in RT | How to Generate (Hard) Real-Time Code from Declarative Programming Languages? |
| 03/29/2012 | Decoupling orchestration and | How to Generate (Hard) Real-Time Code from Declarative Programming Languages? |
| 03/22/2012 | A key feature of a | Disruptive PLT Revisited |
| 03/22/2012 | So what is a milestone in | Disruptive PLT Revisited |
| 03/22/2012 | So what is a milestone in | Disruptive PLT Revisited |
| 03/22/2012 | I can't say much here to | Disruptive PLT Revisited |
| 03/22/2012 | A refinement to the | Disruptive PLT Revisited |
| 03/22/2012 | P2P doesn't seem that | Disruptive PLT Revisited |
| 03/22/2012 | My point is that, when it's | Disruptive PLT Revisited |
| 03/22/2012 | Do you believe LINQ will | Disruptive PLT Revisited |
| 03/22/2012 | This really isn't compelling | Disruptive PLT Revisited |
| 03/22/2012 | The change in trust model | Disruptive PLT Revisited |
| 03/22/2012 | How does mass-scale adoption | Disruptive PLT Revisited |
| 03/25/2012 | Mechanizing law may be | Disruptive PLT Revisited |
| 03/15/2012 | One step closer to D-trace, | Filtering system calls with a packet filtering language |
| 03/12/2012 | You may enjoy the Galois | Reversing operations |
| 03/16/2012 | Immutablity is basically the | Reversing operations |
| 03/16/2012 | Don't conflate pressure to | References 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/2012 | Negative space: formalism helps non-disruptive design | References about the importance of formalism in programming language design |
| 03/21/2012 | I'm an optimist: I think | References about the importance of formalism in programming language design |
| 03/21/2012 | all interesting progress in | References about the importance of formalism in programming language design |
| 03/10/2012 | [I'd say this is bad UI | Adding Delimited and Composable Control to a Production Programming Environment |
| 03/15/2012 | Agreed that the same | Adding Delimited and Composable Control to a Production Programming Environment |
| 03/18/2012 | The higher-level issue is | Adding Delimited and Composable Control to a Production Programming Environment |
| 03/03/2012 | As Sean notes, almost all of | Bret Victor's Inventing on Priniciple |
| 02/23/2012 | Shouldn't be too surprising, | Long rant on Erlang-style Actors: Lost Dimension |
| 02/24/2012 | I thought one has a blocking | Long rant on Erlang-style Actors: Lost Dimension |
| 02/24/2012 | ... and, for the record, the | Long rant on Erlang-style Actors: Lost Dimension |
| 03/07/2012 | As far as I can tell, your | Long rant on Erlang-style Actors: Lost Dimension |
| 03/07/2012 | This is really cool :) | Long rant on Erlang-style Actors: Lost Dimension |
| 03/11/2012 | To be clear, Jules is | Long rant on Erlang-style Actors: Lost Dimension |
| 03/12/2012 | It's not just unique | Long rant on Erlang-style Actors: Lost Dimension |
| 03/16/2012 | There are a lot of issues | Long rant on Erlang-style Actors: Lost Dimension |
| 02/29/2012 | Global inversion convention is a tough sell | Long rant on Erlang-style Actors: Lost Dimension |
| 02/29/2012 | I'll reread that stuff now, | Long rant on Erlang-style Actors: Lost Dimension |
| 02/29/2012 | Gotcha. Even knowing what | Long rant on Erlang-style Actors: Lost Dimension |
| 02/29/2012 | Wrong strawman :) | Long rant on Erlang-style Actors: Lost Dimension |
| 03/01/2012 | I think this is in agreement | Long rant on Erlang-style Actors: Lost Dimension |
| 03/01/2012 | For the same-vat case, | Long rant on Erlang-style Actors: Lost Dimension |
| 03/01/2012 | I don't see how this answers | Long rant on Erlang-style Actors: Lost Dimension |
| 03/01/2012 | Yeah, all these notions of | Long rant on Erlang-style Actors: Lost Dimension |
| 03/01/2012 | So "all" returns "Array 'a" | Long rant on Erlang-style Actors: Lost Dimension |
| 03/01/2012 | The Q library is nice :) | Long rant on Erlang-style Actors: Lost Dimension |
| 02/08/2012 | OO languages do it for | Active Variables in Common Lisp |
| 01/27/2012 | Their PLDI paper about | Syntax Desugaring Algorithm Question |
| 04/27/2012 | At least looking at the Nile | STEPS 2011 Progress Report (personal computing in 20kLOC) |
| 04/27/2012 | Even if say the graphics | STEPS 2011 Progress Report (personal computing in 20kLOC) |
| 04/28/2012 | What do you mean by | STEPS 2011 Progress Report (personal computing in 20kLOC) |
| 04/28/2012 | topsy-turvy | STEPS 2011 Progress Report (personal computing in 20kLOC) |
| 01/20/2012 | I agree, up to simple and | Visual Studio Achievements |
| 01/17/2012 | Searching for type-error messages | crazy PL idea: prescriptive trait inference |
| 12/27/2011 | Run Your Research: On the Effectiveness of Mechanization | Run Your Research: On the Effectiveness of Mechanization |
| 12/20/2011 | 1. Here's a recent survey | Cambridge Course on "Usability of Programming Languages" |
| 01/06/2012 | Traditional CS/HCI | Cambridge Course on "Usability of Programming Languages" |
| 12/22/2011 | That doesn't make sense. The | Designing a languge — what theory is a must? |
| 12/24/2011 | Even if we have a formal | Designing a languge — what theory is a must? |
| 12/25/2011 | Hope.you see my.point now :) | Designing a languge — what theory is a must? |
| 12/07/2011 | Yes, but subject to | General purpose as a special case? |
| 11/29/2011 | The relationship between | REPL-schmepl? |
| 11/17/2011 | BSP and LogP *were* | Models for distributed parallelism |
| 11/17/2011 | Reading the replies, I think | Models for distributed parallelism |
| 10/10/2011 | This is bizarre direction | Google's Dart announced |
| 10/10/2011 | Emscripten looks fun! It | Google's Dart announced |
| 10/11/2011 | AS3 and onwards are a pretty | Google's Dart announced |
| 10/09/2011 | In Sean's defense, I believe | Open thread: RIP Steve Jobs |
| 09/28/2011 | Parallel frameworks for graph processing | Parallel frameworks for graph processing |
| 10/03/2011 | Awhile back I pointed | Parallel frameworks for graph processing |
| 09/24/2011 | or a happy inbetween? | Redesigning the Mozart virtual machine |
| 09/23/2011 | You might also enjoy Esterel | Piecewise functional programming |
| 09/17/2011 | I think it is, for the most | Sample applications for programming languages |
| 09/18/2011 | For FRP GUI widget creation, | Sample applications for programming languages |
| 09/19/2011 | I view the tasks of creating | Sample applications for programming languages |
| 09/20/2011 | Conversely with FRP you have | Sample applications for programming languages |
| 09/20/2011 | Yeah I've actually been | Sample applications for programming languages |
| 09/20/2011 | For 3, 4, I think I've seen | Sample applications for programming languages |
| 09/21/2011 | The second app isn't hard -- | Sample applications for programming languages |
| 09/21/2011 | Flapjax AFAIK extracts stuff | Sample applications for programming languages |
| 09/22/2011 | You wouldn't write it in the | Sample applications for programming languages |
| 09/22/2011 | In Haskell you would have | Sample applications for programming languages |
| 09/22/2011 | The essential notion is that | Sample applications for programming languages |
| 09/22/2011 | File systems, at least the | Sample applications for programming languages |
| 09/23/2011 | Sigh. Sure, you can make | Sample applications for programming languages |
| 09/20/2011 | Yes, the way I've been going | Sample applications for programming languages |
| 09/22/2011 | To bring some objective | Google's "The Future of JavaScript" internal memo leaked |
| 09/20/2011 | I thought systems like | The SAFE Platform |
| 09/09/2011 | Socially-motivated design | What needs to be done? |
| 09/10/2011 | Yes, I sort of presumed the | What needs to be done? |
| 09/11/2011 | Did you have concrete | What needs to be done? |
| 09/12/2011 | Wonderful example, thanks! | What needs to be done? |
| 09/11/2011 | Hpc does autotuning | What needs to be done? |
| 09/12/2011 | What on that site supports your claim? | Yield : Mainstream Delimited Continuations; "yield" from different languages compared and formalized |
| 09/22/2011 | A mechanism for pushing FRP | Forum Topics and Story |
| 09/03/2011 | Early FrTime work was | Opa |
| 09/03/2011 | Putting it differently, a | Opa |
| 09/04/2011 | Blocking on reads can be | Opa |
| 09/04/2011 | Hi Noel :) Weenie in the | Opa |
| 08/25/2011 | We show that this is not | A Monadic Framework for Delimited Continuations |
| 09/05/2011 | Arguably, and relating to a | Asynchronous messaging as integral part of programming language |
| 07/24/2011 | The standard library happens | Is it possible to write code that works the very first time? |
| 07/14/2011 | I don't think that has | Implementor's guide/tutorial to delimited continuations? |
| 07/16/2011 | If performance doesn't | Implementor's guide/tutorial to delimited continuations? |
| 07/16/2011 | I've been on the side of | Implementor's guide/tutorial to delimited continuations? |
| 07/06/2011 | A lot of things happen in | Parallel bars |
| 06/27/2011 | Almost none of these points | Why Programming Languages? |
| 06/29/2011 | You can enforce rules in a | Why Programming Languages? |
| 06/25/2011 | I've found most of this | modules are anti-modular |
| 06/25/2011 | What must be accomplished by | modules are anti-modular |
| 06/26/2011 | I'm partial to incremental | modules are anti-modular |
| 06/26/2011 | This sounds right but the | modules are anti-modular |
| 06/27/2011 | The question is more of | modules are anti-modular |
| 05/30/2011 | I think we're also | Rob Pike: Public Static Void |
| 05/30/2011 | Social constructionism and | Rob Pike: Public Static Void |
| 05/18/2011 | A previous co-worker came up | Javascript x86 interpreter runs Linux in a browser. |
| 05/04/2011 | Data Representation Synthesis | Data Representation Synthesis |
| 05/06/2011 | I was pretty curious about | Data Representation Synthesis |
| 04/12/2011 | Build Your Own Blocks (BYOB) | Build Your Own Blocks (BYOB) |
| 04/13/2011 | Looking forward to it :) | Build Your Own Blocks (BYOB) |
| 04/19/2011 | BYOB support two mechanisms | Build Your Own Blocks (BYOB) |
| 04/26/2011 | Thanks, I had been trying to | Build Your Own Blocks (BYOB) |
| 04/12/2011 | The easiest to test | Staking Claims: A History of Programming Language Design Claims and Evidence |
| 04/12/2011 | You suggest PL features need | Staking Claims: A History of Programming Language Design Claims and Evidence |
| 04/13/2011 | That lack of mathematical | Staking Claims: A History of Programming Language Design Claims and Evidence |
| 04/17/2011 | From cognitive science, one | Staking Claims: A History of Programming Language Design Claims and Evidence |
| 04/13/2011 | 1. Most formal properties | Staking Claims: A History of Programming Language Design Claims and Evidence |
| 04/13/2011 | OLPC and bananas: spirals, not pipelines | Staking Claims: A History of Programming Language Design Claims and Evidence |
| 04/18/2011 | individual-centric social science | Staking Claims: A History of Programming Language Design Claims and Evidence |
| 04/18/2011 | In the case of UI, one of | Staking Claims: A History of Programming Language Design Claims and Evidence |
| 04/19/2011 | The point is that we needed | Staking Claims: A History of Programming Language Design Claims and Evidence |
| 04/07/2011 | You probably are already | History of PL |
| 04/08/2011 | Awesome, I've been searching | History of PL |
| 03/29/2011 | Many of the bugs we found | Finding and Understanding Bugs in C Compilers |
| 03/31/2011 | I reported two concrete | Finding and Understanding Bugs in C Compilers |
| 03/30/2011 | I always wonder why many | Bob Harper of CMU is blogging about programming languages and introductory CS education |
| 03/31/2011 | Why do users use and | Bob Harper of CMU is blogging about programming languages and introductory CS education |
| 03/13/2011 | I don't buy that | Keyword and Optional Arguments in PLT Scheme |
| 03/03/2011 | securing metaobject protocols: mirrors, proxies, views, ... | Object capabilities for protecting object slots in prototype-based languages? |
| 03/03/2011 | I haven't seen enough work | Object capabilities for protecting object slots in prototype-based languages? |
| 03/04/2011 | Ah, I misunderstood reactive | Object capabilities for protecting object slots in prototype-based languages? |
| 03/04/2011 | prototypes and layout | Object capabilities for protecting object slots in prototype-based languages? |
| 03/04/2011 | oops wrong place | Object capabilities for protecting object slots in prototype-based languages? |
| 02/09/2011 | I'm trying to understand | Strongly Typed Coroutines (minor question) |
| 01/28/2011 | You might want to look at | Holistic types |
| 01/29/2011 | If you are, it'd help PL | Holistic types |
| 01/24/2011 | Esterel introduced (?) | I've run out of programming languages to study |
| 01/22/2011 | In the same vein, I've been | I've run out of programming languages to study |
| 01/22/2011 | You can always dress it up: | I've run out of programming languages to study |
| 01/23/2011 | We've seen this fail, e.g., | I've run out of programming languages to study |
| 01/23/2011 | I don't see the walled | I've run out of programming languages to study |
| 01/23/2011 | I'm trying to respond to | I've run out of programming languages to study |
| 01/23/2011 | Clean slates are great... | I've run out of programming languages to study |
| 01/24/2011 | Right, I think we're in | I've run out of programming languages to study |
| 01/24/2011 | Capabilities are flexible, | I've run out of programming languages to study |
| 01/25/2011 | I am on the ocaps list | I've run out of programming languages to study |
| 01/25/2011 | The WWW paper, while I have | I've run out of programming languages to study |
| 01/24/2011 | I think fixed | guy steele on how (not) to think of parallel programming |
| 01/23/2011 | Haven't followed this thread | guy steele on how (not) to think of parallel programming |
| 01/10/2011 | This is great to see -- | Scala Team Wins ERC Grant |
| 01/07/2011 | Run a profiler on loading a | Fast Compilers |
| 01/07/2011 | Less facetiously, if we look | Fast Compilers |
| 01/07/2011 | Verification and testing, | Fast Compilers |
| 01/07/2011 | Some are -- contracts, type | Fast Compilers |
| 01/07/2011 | Static code coverage is a | Fast Compilers |
| 01/07/2011 | Measuring the success of a | Fast Compilers |
| 01/18/2011 | This sounds like the | Fast Compilers |
| 12/26/2010 | Is there actually a | The Semicolon Wars |
| 12/16/2010 | Have you tried sending this | The fundamental limitations of parser combinators... and how to fix them. |
| 12/06/2010 | Looks fun: related (but | Continuation-Passing C: Compiling threads to events through continuations |
| 12/07/2010 | Oops, guess I had fish on my | Continuation-Passing C: Compiling threads to events through continuations |
| 12/08/2010 | That doesn't really solve the | Continuation-Passing C: Compiling threads to events through continuations |
| 12/06/2010 | It seems rational to, after | Pure and Declarative Syntax Definition: Paradise Lost and Regained, Onward 2010 |
| 12/09/2010 | Same for type systems. While | "Future of Programming Languages" panel |
| 11/26/2010 | In many-core concurrent | What is computation? Concurrency versus Turing's Model |
| 11/17/2010 | Again, I don't think the | A Preliminary Survey on Functional Programming |
| 11/16/2010 | 1. Survey design is an | A Preliminary Survey on Functional Programming |
| 11/16/2010 | Social theories are pretty | A Preliminary Survey on Functional Programming |
| 11/24/2010 | aim on SE and FP problems. | A Preliminary Survey on Functional Programming |
| 12/14/2010 | I'm actually trying to put | A Preliminary Survey on Functional Programming |
| 11/13/2010 | Scan-based Data Parallel Languages | Scan-based Data Parallel Languages |
| 11/01/2010 | This work is very similar to | Accelerating Haskell Array Codes with Multicore GPUs |
| 10/31/2010 | I'm increasingly convinced | Asynchronous Programming, Monads and Continuations in C#, F# and Scala |
| 11/02/2010 | What's your real goal?To | Comprehensive overview of security models? |
| 10/21/2010 | Perhaps an area to look is | Looking for pointers: mixfix error recovery |
| 10/11/2010 | I don't know about the | Intel's Array Building Blocks (was Rapidmind) : What do the purists and pragmatists think? |
| 10/12/2010 | For something at this level | Intel's Array Building Blocks (was Rapidmind) : What do the purists and pragmatists think? |
| 10/12/2010 | It is impossible to write | Intel's Array Building Blocks (was Rapidmind) : What do the purists and pragmatists think? |
| 10/15/2010 | It sounds like your problem | A functional-programming view of time |
| 10/05/2010 | Or, see Mesos, gaining in | Turning down the LAMP: Software specialization for the cloud |
| 09/25/2010 | [nm] | Omega - Language of the Future |
| 09/29/2010 | Three basic concepts stand | What is the best system for experimenting with and visualizing complex algorithms? |
| 09/18/2010 | OoO Java | OoO Java |
| 09/18/2010 | At least I think that's how | OoO Java |
| 09/20/2010 | In other words, most | OoO Java |
| 09/28/2010 | An opposite approach to sequential transactional memory | OoO Java |
| 09/16/2010 | The ptolemy II project and | New Dataflow Programming Language |
| 09/24/2010 | I think this really means | New Dataflow Programming Language |
| 09/24/2010 | I don't really remember the | New Dataflow Programming Language |
| 09/26/2010 | I'd hope so -- syntax aside, | New Dataflow Programming Language |
| 11/28/2010 | Researchers create new | New Dataflow Programming Language |
| 11/29/2010 | Monads are a great barrier | New Dataflow Programming Language |
| 11/29/2010 | Do you mean that in the same | New Dataflow Programming Language |
| 11/29/2010 | No. I'm not arguing against | New Dataflow Programming Language |
| 11/30/2010 | I'm more thinking in line | New Dataflow Programming Language |
| 09/13/2010 | Information flow seems | principle of least authority and programming languages |
| 09/07/2010 | The baselines for both of | Is Transactional Programming Actually Easier? |
| 09/08/2010 | At first blush, I'd actually | Is Transactional Programming Actually Easier? |
| 09/08/2010 | Do you also have a | Is Transactional Programming Actually Easier? |
| 09/09/2010 | Really? | Is Transactional Programming Actually Easier? |
| 09/09/2010 | We can decompose concurrency | Is Transactional Programming Actually Easier? |
| 09/05/2010 | Haskell-esque FRP systems | J's concepts rank, composition, and GC |
| 09/12/2010 | Let's say 'lift' raises a | J's concepts rank, composition, and GC |
| 09/14/2010 | I'm wondering if a become | Unifying Actors and Objects? |
| 08/02/2010 | Towards general nested data parallelism | Towards general nested data parallelism |
| 08/03/2010 | These approaches look fairly | Towards general nested data parallelism |
| 08/04/2010 | The whole point of the | Deprecating the Observer Pattern |
| 08/04/2010 | Yes and No | Deprecating the Observer Pattern |
| 08/04/2010 | Ah, you meant a vat handling | Deprecating the Observer Pattern |
| 08/05/2010 | E's messaging semantics are | Deprecating the Observer Pattern |
| 08/06/2010 | So by "minimal", I meant | Deprecating the Observer Pattern |
| 08/04/2010 | In practice, glitch-freedom | Deprecating the Observer Pattern |
| 08/05/2010 | Making a model robust with | Deprecating the Observer Pattern |
| 08/05/2010 | When you guys support | Deprecating the Observer Pattern |
| 08/03/2010 | Middle ground | Deprecating the Observer Pattern |
| 08/11/2010 | ... and (almost) back from | Deprecating the Observer Pattern |
| 07/22/2010 | Even in the commercial | The Future of C# |
| 07/24/2010 | Beat in a temporal sense, | The Future of C# |
| 07/17/2010 | Lambda calculus is generally | Is lambda calculus a logic? |
| 07/08/2010 | Thus far, I am unaware of | The Rust Language |
| 07/14/2010 | I don't think domains are | The Rust Language |
| 07/14/2010 | Sounds like I need to reread | The Rust Language |
| 07/20/2010 | sharing invariants on shared memory ftw | The Rust Language |
| 07/14/2010 | With regards to your edit, | The Rust Language |
| 07/06/2010 | ... but you need to divide | Uncle Bob's talk at RailsConf 2010 |
| 07/03/2010 | Traceable Data Types for Self-Adjusting Computation | Traceable Data Types for Self-Adjusting Computation |
| 07/03/2010 | A lot of stuff here... I do | Logic programming based GUI framework |
| 07/03/2010 | The one we've used is pretty | Logic programming based GUI framework |
| 06/26/2010 | Math skills don't sell. This | Why Undergraduates Should Learn the Principles of Programming Languages |
| 06/28/2010 | Why Undergraduates Should Learn the Principles of Programming Languages | Why Undergraduates Should Learn the Principles of Programming Languages |
| 07/04/2010 | Is PLT really fundamental | Why Undergraduates Should Learn the Principles of Programming Languages |
| 07/11/2010 | No. | Why Undergraduates Should Learn the Principles of Programming Languages |
| 07/06/2010 | Perhaps worth mentioning | SIGPLAN's first Programming Languages Software Award goes to LLVM |
| 06/08/2010 | ... it's all the same people. | Data schema languages |
| 06/08/2010 | engineering is a process - or - so what? | some critiques of the Semat initiative |
| 06/08/2010 | I'd say it's the reverse. | some critiques of the Semat initiative |
| 06/08/2010 | devil in the details | some critiques of the Semat initiative |
| 06/02/2010 | (put reply in wrong spot) | The Resurgence of Parallelism |
| 06/02/2010 | Trolling? | The Resurgence of Parallelism |
| 05/11/2010 | seem deeply confused or | "Critical code studies" |
| 05/11/2010 | I found the presentation | "Critical code studies" |
| 05/15/2010 | So I'd say that yes, | "Critical code studies" |
| 05/15/2010 | I agree with some of this, | "Critical code studies" |
| 05/09/2010 | It's like SAT -- hard, but | Computing complexity |
| 05/08/2010 | You might also find Dedelus | Universal Temporal Concurrent Constraint Programming |
| 05/02/2010 | Abstract interpretation is a | Is there a site to discuss some issues on abstract interpretation? |
| 05/02/2010 | You're right -- AI is a very | Is there a site to discuss some issues on abstract interpretation? |
| 04/27/2010 | There are two basic | Add "unit time delay (D)" operator to functional language with random signals instead of random vars |
| 05/03/2010 | There are other forms of | The Structure of Authority: Why security is not a separable concern |
| 05/05/2010 | I wasn't referring to DoS to | The Structure of Authority: Why security is not a separable concern |
| 05/05/2010 | Indeed, this is similar how | The Structure of Authority: Why security is not a separable concern |
| 05/06/2010 | EROS doesn't use cooperative | The Structure of Authority: Why security is not a separable concern |
| 05/06/2010 | evaluation not design document | The Structure of Authority: Why security is not a separable concern |
| 05/07/2010 | and it survived 10 years of | The Structure of Authority: Why security is not a separable concern |
| 05/07/2010 | For starters, I'd like to | The Structure of Authority: Why security is not a separable concern |
| 05/07/2010 | Like bugs, testing can only | The Structure of Authority: Why security is not a separable concern |
| 04/20/2010 | I believe this was the | Seeking thoughtful criticisms of functional programming and languages |
| 04/24/2010 | Several pieces of production | Seeking thoughtful criticisms of functional programming and languages |
| 05/23/2010 | some harmless advice | Seeking thoughtful criticisms of functional programming and languages |
| 06/10/2010 | ... which brings us to the | Seeking thoughtful criticisms of functional programming and languages |
| 04/27/2010 | What's the goal? | SEC interested in formalising contracts ... in Python |
| 04/27/2010 | I'm not arguing against a | SEC interested in formalising contracts ... in Python |
| 04/27/2010 | Why not stick with RISC? | SEC interested in formalising contracts ... in Python |
| 04/27/2010 | Your post suggests the only | SEC interested in formalising contracts ... in Python |
| 04/27/2010 | It's just sufficient to | SEC interested in formalising contracts ... in Python |
| 04/28/2010 | That's an example but not | SEC interested in formalising contracts ... in Python |
| 04/15/2010 | That's fine if your laptop | More iPhone PL lockdown... Goodbye Scratch! |
| 05/02/2010 | I could have expanded this | More iPhone PL lockdown... Goodbye Scratch! |
| 04/16/2010 | But granted, a javascript | Ideas for a PL-oriented honors thesis |
| 04/16/2010 | What I think I see is a | Ideas for a PL-oriented honors thesis |
| 04/16/2010 | Having adapted and written a | Ideas for a PL-oriented honors thesis |
| 04/16/2010 | Totally doable, go for it! | Ideas for a PL-oriented honors thesis |
| 04/14/2010 | I don't know of *any* | Representing Type Information in Dynamically Typed Languages |
| 04/14/2010 | Perhaps the underlying | Representing Type Information in Dynamically Typed Languages |
| 04/14/2010 | Huh? Arthur was here a week | Representing Type Information in Dynamically Typed Languages |
| 04/15/2010 | Does it? | Representing Type Information in Dynamically Typed Languages |
| 04/15/2010 | It was a reference book | Representing Type Information in Dynamically Typed Languages |
| 04/09/2010 | This is consistent with | iPhone PL lockdown |
| 04/09/2010 | There are actually two | iPhone PL lockdown |
| 04/10/2010 | Lockdown is common in | iPhone PL lockdown |
| 04/10/2010 | Trying to argue Apple's | iPhone PL lockdown |
| 04/11/2010 | They support JavaScript, so | iPhone PL lockdown |
| 09/09/2010 | I believe they put the | iPhone PL lockdown |
| 04/14/2010 | The connection has been more | splitting the program into formalizable vs. non-formalizable parts? |
| 04/14/2010 | I didn't mean to get into | splitting the program into formalizable vs. non-formalizable parts? |
| 03/31/2010 | Hard not to think more | Small is Beautiful: the design of Lua |
| 03/17/2010 | type can be usefully | On the (Alleged) Value of Proof for Assurance |
| 03/29/2010 | I believe ie9 has a | Have tracing JIT compilers won? |
| 04/02/2010 | Trace-based JITs use traces | Have tracing JIT compilers won? |
| 03/11/2010 | A little more appealing in | Have tracing JIT compilers won? |
| 03/10/2010 | Unstated here, when | Have tracing JIT compilers won? |
| 03/11/2010 | Naively, I would guess that | Have tracing JIT compilers won? |
| 03/11/2010 | Intensive use of JS The | Have tracing JIT compilers won? |
| 03/11/2010 | Membranes are fragile if you | Have tracing JIT compilers won? |
| 03/11/2010 | Nope, just the papers I | Have tracing JIT compilers won? |
| 03/12/2010 | Yep, Aspect-Oriented | Have tracing JIT compilers won? |
| 03/17/2010 | A language level mechanism | Have tracing JIT compilers won? |
| 03/12/2010 | This post seems pretty off. | Have tracing JIT compilers won? |
| 03/12/2010 | This seems to assume traces | Have tracing JIT compilers won? |
| 06/11/2010 | For popular usage of the | Have tracing JIT compilers won? |
| 06/13/2010 | Wow, great list, | Have tracing JIT compilers won? |
| 06/25/2010 | In general: browser | Have tracing JIT compilers won? |
| 02/28/2010 | Most software does not need | large-scale programming systems inspired by ecological and market systems |
| 02/23/2010 | David, I would really | Testing release of a platform for hosting pure functional web applications |
| 02/23/2010 | Jules, most of that isn't | Testing release of a platform for hosting pure functional web applications |
| 02/21/2010 | I don't understand what | Testing release of a platform for hosting pure functional web applications |
| 02/21/2010 | Still not sure what you're going for | Testing release of a platform for hosting pure functional web applications |
| 02/22/2010 | Not sure who 'you' is, but | Testing release of a platform for hosting pure functional web applications |
| 02/22/2010 | I think he means static | Testing 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/2010 | Not explicitly stated in the | A few billion lines of code later: using static analysis to find bugs in the real world |
| 02/17/2010 | I'm definitely taking this | A few billion lines of code later: using static analysis to find bugs in the real world |
| 02/12/2010 | I would have thought it's | Google TechTalk: The Evolution of End-User Programming |
| 02/13/2010 | Ah, I view spreadsheets as a | Google TechTalk: The Evolution of End-User Programming |
| 02/05/2010 | Clutter Toolkit | Clutter Toolkit |
| 02/04/2010 | I'm not sure which to write | Computational complexity of cascading stylesheets? |
| 02/04/2010 | Yes. Unfortunately, it has | Computational complexity of cascading stylesheets? |
| 02/05/2010 | There are a lot of problems. | Computational complexity of cascading stylesheets? |
| 02/04/2010 | layout renders must be | Computational complexity of cascading stylesheets? |
| 02/05/2010 | I was not being fair to Greg | Computational complexity of cascading stylesheets? |
| 02/04/2010 | I was a little surprised | Continuity Analysis of Programs |
| 02/03/2010 | I thought the idea for | HipHop: Facebook runs compiled PHP on its servers |
| 02/02/2010 | If you switch to Scheme | LISP and parentheses |
| 02/13/2010 | It's called cooperative bug | What data sets would tell you the most about what sort of programming language to design? |
| 01/25/2010 | Historical or sociological studies of programming language evolution? | Historical or sociological studies of programming language evolution? |
| 01/25/2010 | You can also analyze | Historical or sociological studies of programming language evolution? |
| 01/25/2010 | In general, I agree. For | Historical or sociological studies of programming language evolution? |
| 01/26/2010 | With PLs, no one really has | Historical or sociological studies of programming language evolution? |
| 01/26/2010 | Let's me put it to you like | Historical or sociological studies of programming language evolution? |
| 01/26/2010 | Just got it, thanks! | Historical or sociological studies of programming language evolution? |
| 01/26/2010 | I'm pretty confident that no | Historical or sociological studies of programming language evolution? |
| 01/28/2010 | Historical or sociological studies of programming language evolution? | Historical or sociological studies of programming language evolution? |
| 01/28/2010 | But this is why I think the | Historical or sociological studies of programming language evolution? |
| 01/19/2010 | An option is to go straight | Academic advice: Mathematics or Computer Science? |
| 01/20/2010 | Funny.. I'd suggest skipping | Academic advice: Mathematics or Computer Science? |
| 01/20/2010 | I don't understand the | Academic advice: Mathematics or Computer Science? |
| 01/16/2010 | Perhaps to further confuse | Declarative binding vs. composition |
| 01/16/2010 | A reason I'm in the group I | Discoverability, Language Features, and the First Step Toward Composition |
| 01/08/2010 | I've found 'rapid | Rapid Prototyping tools & environments from academia |
| 01/08/2010 | Can you imagine any system | Rapid Prototyping tools & environments from academia |
| 01/08/2010 | Can you provide concrete | Rapid Prototyping tools & environments from academia |
| 01/06/2010 | but that it works best if | wondering why C is the language of compilers- when a Scheme subset would seem to be a better fit? |
| 01/06/2010 | wondering 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/2010 | engineering management was | wondering why C is the language of compilers- when a Scheme subset would seem to be a better fit? |
| 01/06/2010 | I'm finding your comment | wondering why C is the language of compilers- when a Scheme subset would seem to be a better fit? |
| 01/07/2010 | I still can't see how to | wondering why C is the language of compilers- when a Scheme subset would seem to be a better fit? |
| 01/03/2010 | Assuming the point is | Jison |
| 01/04/2010 | I have never been able to | Jison |
| 01/05/2010 | That was what I was the page | Jison |
| 01/02/2010 | At different ends, PADS/ML | The year in review, and What's to come |
| 12/30/2009 | Perhaps a trite answer, but | Metrics or formailizations of "local reasoning"? |
| 12/30/2009 | Do you mean a verified | most water-tight real-world language implementation? |
| 12/31/2009 | I have some NDA issues here, | most water-tight real-world language implementation? |
| 12/31/2009 | Heck, alpha particles might | most water-tight real-world language implementation? |
| 12/31/2009 | That's pretty much the norm | most water-tight real-world language implementation? |
| 01/02/2010 | [comment mostly | Open wiki-like code repository |
| 12/22/2009 | I think of the "formal | Unfulfilled Promises of Software Technologies? (!) |
| 01/02/2010 | Then the C module is | Unfulfilled Promises of Software Technologies? (!) |
| 12/14/2009 | I've had a similar intuition | Naive Question? Definition of "Higher Order" |
| 12/15/2009 | Ah, right, I was going for, | Naive Question? Definition of "Higher Order" |
| 12/15/2009 | Great example! | Naive Question? Definition of "Higher Order" |
| 12/12/2009 | Why developer controls? | Developer Guided Code Splitting |
| 12/14/2009 | I think you missed my | Developer Guided Code Splitting |
| 12/14/2009 | I've never really paid | Developer Guided Code Splitting |
| 12/16/2009 | In a distributed system, | Developer Guided Code Splitting |
| 12/16/2009 | How do we record that | Developer Guided Code Splitting |
| 12/16/2009 | Developer Guided Code Splitting | Developer Guided Code Splitting |
| 12/19/2009 | What about promises/futures | Developer Guided Code Splitting |
| 12/20/2009 | It might not be as bad in | Developer Guided Code Splitting |
| 12/07/2009 | There are at least three | Is Small Still Beautiful? |
| 12/09/2009 | [edit: comment retracted] | Differentiating Parsers |
| 12/04/2009 | Two perspectives. First, | Pragmatic declarative event abstraction |
| 12/04/2009 | It isn't necessarily | Pragmatic declarative event abstraction |
| 12/03/2009 | PLaneT Scheme is large and | "Corpus" of lisp/scheme programs which can be used for research |
| 11/26/2009 | A fun take on model-driven | How to learn about formal top-down approach to software architecture? |
| 12/01/2009 | A few things. I'll mostly | Reactive Extensions for .NET released this week |
| 12/01/2009 | I think we're in agreement | Reactive Extensions for .NET released this week |
| 12/03/2009 | Push, pull, and collections | Reactive Extensions for .NET released this week |
| 12/04/2009 | Why must the pull be | Reactive Extensions for .NET released this week |
| 12/04/2009 | I was trying to figure that | Reactive Extensions for .NET released this week |
| 12/04/2009 | Is this what you mean by | Reactive Extensions for .NET released this week |
| 12/04/2009 | I can't find the | Reactive Extensions for .NET released this week |
| 12/04/2009 | ... so I guess IObservable | Reactive Extensions for .NET released this week |
| 12/04/2009 | Funny -- my interpretation | Reactive Extensions for .NET released this week |
| 11/19/2009 | Coherent Reactions | Connections between Transactions and Promises/Futures? |
| 11/12/2009 | I'd add 3) stay in L1 | Go or Unladen Swallow? |
| 11/06/2009 | And really, that's why a | State of the art C compiler optimization tricks |
| 11/07/2009 | Fixed and added more | State of the art C compiler optimization tricks |
| 11/07/2009 | I wouldn't be surprised by | John Hughes on Erlang and Haskell |
| 11/07/2009 | I don't follow -- what's the | John Hughes on Erlang and Haskell |
| 11/07/2009 | Also, the formatting of this | Literate Programming: Retrospect and Prospects |
| 10/28/2009 | Going by your description, | Causal Commutative Arrows and Their Optimization |
| 10/28/2009 | Change propagation vs. | Causal Commutative Arrows and Their Optimization |
| 10/22/2009 | Languages and systems for edge-computing? | Languages and systems for edge-computing? |
| 10/23/2009 | Ah, let me try again, and | Languages and systems for edge-computing? |
| 10/24/2009 | Just putting out feelers :) | Languages and systems for edge-computing? |
| 10/21/2009 | The runtime semantics are | Erik Meijer's MSDN Channel 9 lecture series on functional programming |
| 10/23/2009 | I think his point was that | Seeking broad survey of wide range of concurrency idioms |
| 11/06/2009 | That presentation seems | Seeking broad survey of wide range of concurrency idioms |
| 10/19/2009 | Great writeup of dataflow | Seeking broad survey of wide range of concurrency idioms |
| 10/21/2009 | I haven't followed CEP | Seeking broad survey of wide range of concurrency idioms |
| 10/22/2009 | Add failure (a lot of fun | Seeking broad survey of wide range of concurrency idioms |
| 10/22/2009 | I suspect, in your context, | Seeking broad survey of wide range of concurrency idioms |
| 10/22/2009 | How often do you assume your | Seeking broad survey of wide range of concurrency idioms |
| 10/22/2009 | Right.. but that makes | Seeking broad survey of wide range of concurrency idioms |
| 10/22/2009 | A stepping stone is | Seeking broad survey of wide range of concurrency idioms |
| 10/22/2009 | I want an example of a | Seeking broad survey of wide range of concurrency idioms |
| 10/22/2009 | That repeats what I said I | Seeking broad survey of wide range of concurrency idioms |
| 10/23/2009 | Map/Reduce is implicitly | Seeking broad survey of wide range of concurrency idioms |
| 10/24/2009 | I took issue with trying to | Seeking broad survey of wide range of concurrency idioms |
| 10/22/2009 | The one which I was thinking | Seeking broad survey of wide range of concurrency idioms |
| 11/02/2009 | I'm loving task parallelism | Seeking broad survey of wide range of concurrency idioms |
| 10/13/2009 | A points-to analysis tells | Algorithms for inferring most specific types? |
| 10/13/2009 | That's essentially the | Algorithms for inferring most specific types? |
| 10/14/2009 | I think 0-cfa is a common | Algorithms for inferring most specific types? |
| 10/14/2009 | 1) Don't region and effect | Algorithms for inferring most specific types? |
| 10/15/2009 | One of my favorite talks was | Safe Garbage Collection = Regions + Intensional Type Analysis |
| 10/18/2009 | I don't think so, but really | Safe Garbage Collection = Regions + Intensional Type Analysis |
| 10/02/2009 | Is it really that severe, | Swarm now based on Scala 2.8, uses delimited continuations |
| 10/02/2009 | The use of a cloud service | Swarm now based on Scala 2.8, uses delimited continuations |
| 10/02/2009 | The PGAS abstraction is also | Swarm now based on Scala 2.8, uses delimited continuations |
| 09/25/2009 | To be fair, GoF opened up | JVM language summit 2009 |
| 09/08/2009 | As part of a problem I've | DSL goodness |
| 09/08/2009 | To an extent, I agree: the | DSL goodness |
| 09/09/2009 | Ironically, this project was | DSL goodness |
| 09/09/2009 | In this case, kernel code | DSL goodness |
| 09/09/2009 | I'm partially conflating an | DSL goodness |
| 09/01/2009 | I've been saying this for | Transactional Memory versus Locks - A Comparative Case Study |
| 09/01/2009 | I believe their race | Transactional Memory versus Locks - A Comparative Case Study |
| 08/18/2009 | Relevant paper in CCS last | functions vs procedures.. |
| 08/21/2009 | My favorite perl proof is | Perl Cannot Be Parsed: A Formal Proof |
| 08/13/2009 | In javascript, up to | Receiver knowing the sender? |
| 08/12/2009 | The End of the GPU Roadmap | The End of the GPU Roadmap |
| 08/21/2009 | Conal, by extension, I'd | The End of the GPU Roadmap |
| 08/22/2009 | Should I think about this, | The End of the GPU Roadmap |
| 08/03/2009 | A more PL-y attempt at the | Programming Made "Simple" |
| 07/28/2009 | Evaluation and Usability of Programming Languages and Tools (PLATEAU) | Evaluation and Usability of Programming Languages and Tools (PLATEAU) |
| 07/28/2009 | Evaluation and Usability of Programming Languages and Tools (PLATEAU) | Evaluation and Usability of Programming Languages and Tools (PLATEAU) |
| 07/30/2009 | Can you back up any of what | Evaluation and Usability of Programming Languages and Tools (PLATEAU) |
| 08/01/2009 | Most top departments have | Evaluation and Usability of Programming Languages and Tools (PLATEAU) |
| 08/01/2009 | Touche ;-) What would the | Evaluation and Usability of Programming Languages and Tools (PLATEAU) |
| 08/05/2009 | people who live in glass houses | Evaluation and Usability of Programming Languages and Tools (PLATEAU) |
| 07/20/2009 | With such reasoning, you | Simplicity |
| 07/08/2009 | I used to think that | Trade-offs with abstraction |
| 06/15/2009 | ... until you realize it's a smart | GRS vs LTRS |
| 06/11/2009 | Considering it's 0.005, I | Job trends |
| 06/11/2009 | If I understand correctly, | Bridging the informal and the formal |
| 06/02/2009 | Alternatively, and what we | Goolgle & IDEs |
| 05/17/2009 | This is an exciting | Types are Calling Conventions |
| 05/13/2009 | Why does that make the | Computer music: a bastion of interactive visual dataflow languages |
| 05/15/2009 | It's an impressively product | Computer music: a bastion of interactive visual dataflow languages |
| 05/15/2009 | The hope was that they could | Computer music: a bastion of interactive visual dataflow languages |
| 05/13/2009 | general programming with visual dataflow | Computer music: a bastion of interactive visual dataflow languages |
| 05/13/2009 | There are a few variations | Computer music: a bastion of interactive visual dataflow languages |
| 05/15/2009 | I'm not as convinced on the | Computer music: a bastion of interactive visual dataflow languages |
| 05/25/2009 | I find it to be domain | Computer music: a bastion of interactive visual dataflow languages |
| 05/29/2009 | It's probably worth | Computer music: a bastion of interactive visual dataflow languages |
| 06/02/2009 | I agree about | Computer music: a bastion of interactive visual dataflow languages |
| 05/11/2009 | WolframAlpha | WolframAlpha |
| 05/19/2009 | We compared the overall | Why Did M.I.T. Switch from Scheme to Python? |
| 05/06/2009 | I've been finding HCI to be | Right on! |
| 05/08/2009 | Perhaps I should be clearer. | Right on! |
| 05/07/2009 | Nowadays, I spend my time | Right on! |
| 05/01/2009 | It sounds like you're | Looking for list of programming problems to thoroughly test a language |
| 05/02/2009 | You inherently have races | YAPL - yet another programming language |
| 04/26/2009 | I've been thinking along | Coherent Reaction |
| 04/20/2009 | Another way I have thought | 2009 Lang.NET |
| 04/21/2009 | I'm not sure what you mean | 2009 Lang.NET |
| 04/21/2009 | You can use a push | 2009 Lang.NET |
| 05/06/2009 | An "I'm Done" message seems | 2009 Lang.NET |
| 04/13/2009 | As "standard cobol employs | ADD 50 TO COBOL GIVING COBOL |
| 04/15/2009 | As somebody who got paid | Why are objects so unintuitive? |
| 04/20/2009 | I wish that was my thesis :) | Why are objects so unintuitive? |
| 04/20/2009 | Some off the top of my | Why are objects so unintuitive? |
| 04/21/2009 | 1. I'd give Adobe a bit more | Why are objects so unintuitive? |
| 04/22/2009 | Tracking actions (especially | Why are objects so unintuitive? |
| 04/22/2009 | Strange about WPF. Back at | Why are objects so unintuitive? |
| 04/22/2009 | I found the 150 rule in | Why are objects so unintuitive? |
| 04/04/2009 | Alternatively, there's a | Twitter and Scala |
| 04/05/2009 | There are nice papers (with | Twitter and Scala |
| 04/08/2009 | Figuring I'd eventually be | Twitter and Scala |
| 04/08/2009 | Right, I meant PL as the | Twitter and Scala |
| 04/08/2009 | Right; you hope the global | Twitter and Scala |
| 03/29/2009 | Finding once-a-year | Onward! |
| 03/30/2009 | You need to keep people | Onward! |
| 03/24/2009 | I've come to think about | Eliminating fuzziness of access modifiers |
| 04/08/2009 | Closures are one mechanism | Eliminating fuzziness of access modifiers |
| 03/23/2009 | Two jump to mind: | Automatic data structure / layout selection? |
| 03/20/2009 | Perhaps look at Walid Taha's | Tiered approaches to higher order programming? |
| 03/11/2009 | I don't see how ocaps change | Languages and security: a short reading list |
| 03/07/2009 | C++ Futures | C++ Futures |
| 03/07/2009 | It might not be so bad. If | C++ Futures |
| 03/07/2009 | In terms of level of | The Meta-LtU Thread |
| 03/08/2009 | Google bought out blogger | The Meta-LtU Thread |
| 02/19/2009 | Two more useful | Dana |
| 02/26/2009 | 1. The implementation of the | Dana |
| 02/26/2009 | Ah, that makes more sense. | Dana |
| 02/08/2009 | If the point is a | On the (Im)possibility of Obfuscating Programs |
| 02/08/2009 | Many things are impossible, | On the (Im)possibility of Obfuscating Programs |
| 02/07/2009 | I suggest we study the | PL Grand Challenges |
| 02/08/2009 | Brushing off my rebuttal | PL Grand Challenges |
| 02/09/2009 | Why is neurolinguistics | PL Grand Challenges |
| 02/10/2009 | ... and what does the brain | PL Grand Challenges |
| 01/22/2009 | Parsing with error recovery? | Parsing with error recovery? |
| 01/18/2009 | Of further interest: | Path Feasibility Analysis for String-Manipulating Programs |
| 01/15/2009 | I would suggest not doing | Looking for papers describing advanced language topics in terms of C programming |
| 01/16/2009 | Based off of this | Looking for papers describing advanced language topics in terms of C programming |
| 01/17/2009 | Those books primarily* use | Looking for papers describing advanced language topics in terms of C programming |
| 01/15/2009 | I think they're referring to | CWE/SANS TOP 25 Most Dangerous Programming Errors |
| 01/22/2009 | How are buffer overflows and | CWE/SANS TOP 25 Most Dangerous Programming Errors |
| 01/15/2009 | Continuing the | Introducing Dawn - yet another new language |
| 01/16/2009 | We have shown how to | Introducing Dawn - yet another new language |
| 01/17/2009 | I am just tired of Paul not | Introducing Dawn - yet another new language |
| 01/20/2009 | An example from a library I | Introducing Dawn - yet another new language |
| 01/23/2009 | Switch the two right | Introducing Dawn - yet another new language |
| 01/14/2009 | The distinction between a | What Are The Resolved Debates in General Purpose Language Design? |
| 01/14/2009 | Good catch, I was blurring | What Are The Resolved Debates in General Purpose Language Design? |
| 01/14/2009 | Just saying data flow | What Are The Resolved Debates in General Purpose Language Design? |
| 01/14/2009 | Yes -- perhaps I wasn't | What Are The Resolved Debates in General Purpose Language Design? |
| 01/13/2009 | Somewhat close is the notion | What Are The Resolved Debates in General Purpose Language Design? |
| 01/15/2009 | I disagree on graphical | What Are The Resolved Debates in General Purpose Language Design? |
| 01/15/2009 | Excel is a mixed, but most | What Are The Resolved Debates in General Purpose Language Design? |
| 01/16/2009 | The term DSL gets stretched | What Are The Resolved Debates in General Purpose Language Design? |
| 01/23/2009 | Historically, neither was | What Are The Resolved Debates in General Purpose Language Design? |
| 12/28/2008 | Wishing for the death of a | 2008 In Review - What Happened with Programming Languages? |
| 12/31/2008 | Productivity often wins. For | 2008 In Review - What Happened with Programming Languages? |
| 12/31/2008 | If the multiprocessing stuff | 2008 In Review - What Happened with Programming Languages? |
| 01/04/2009 | 1. The software (bad CPU | 2008 In Review - What Happened with Programming Languages? |
| 12/27/2008 | Perhaps (very) convenient | The Lambda Cube & Some Programming Languages |
| 12/27/2008 | I'm curious with respect to | The Lambda Cube & Some Programming Languages |
| 12/27/2008 | The lambda cube seems to be | The Lambda Cube & Some Programming Languages |
| 12/22/2008 | What is the thesis of this | Two Lightweight DSLs for Rich UI Programming |
| 12/22/2008 | Gotcha, thanks. I totally | Two Lightweight DSLs for Rich UI Programming |
| 12/11/2008 | I wouldn't be so quick to | Light(er) Reading Suggestions? |
| 12/03/2008 | I won't have time to read | Staging with Delimited Control |
| 12/04/2008 | I did not mean to make | Staging with Delimited Control |
| 12/01/2008 | Perhaps take a look at | Remembering everything - a new(?) idea for a new PL |
| 12/01/2008 | A little better (eg, | Remembering everything - a new(?) idea for a new PL |
| 12/03/2008 | Races can be benign. | Functional building blocks as concurrency patterns |
| 12/05/2008 | That sounds like arbitrarily | Functional building blocks as concurrency patterns |
| 12/05/2008 | Ah, reread it, makes more | Functional building blocks as concurrency patterns |
| 11/27/2008 | CUFP might be applicable too | refereed journal with open access? |
| 11/11/2008 | Is BitC being used to build | The Origins of the BitC Programming Language |
| 11/08/2008 | Perhaps as a suggested | Burst Tries paper |
| 10/28/2008 | I don't know of anything | Web application shootout? |
| 10/28/2008 | Nah, that was part of the | Web application shootout? |
| 10/29/2008 | An existence proof is one | Web application shootout? |
| 10/30/2008 | I'm hoping you did not | Web application shootout? |
| 10/28/2008 | I'd take a look at work at | Declarative layout and/or UI languages? |
| 11/01/2008 | Another interesting one, | Declarative layout and/or UI languages? |
| 10/13/2008 | Funny, I had a rejected | On the (perceived) equivalence of static and dynamically typed reflective programming languages |
| 10/17/2008 | I would prefer to use a | On the (perceived) equivalence of static and dynamically typed reflective programming languages |
| 10/10/2008 | One place I worked at used | DSL or dialects used inside compilers |
| 10/02/2008 | EBNF is (occasionally) good | Visual Programming Language Syntax Formalisms |
| 09/30/2008 | Or anything debating the | Programming Languages Aren't |
| 09/30/2008 | if I understand what you're | Can function pointers be "fixed" |
| 09/24/2008 | They are actively developing | Intel Ct: C for Throughput Computing |
| 09/26/2008 | targeted search trends | Narrowing field of languages? |
| 09/12/2008 | (... without having read | A Framework for Comparing Models of Computation |
| 09/05/2008 | Another paper of interest (I | Compiler Validation through Program Analysis |
| 08/22/2008 | Error messages can suffer | How to do E/DSLs successfully? |
| 08/24/2008 | PHP is secure in the | In Praise of Scripting: Real Programming Pragmatism |
| 08/19/2008 | I'm curious about a | OPIS -- Distributed Arrows In O'Caml |
| 08/17/2008 | For a front-end, a patcher | Mozilla "Ubiquity" |
| 07/28/2008 | paper suggestions for some current topics | paper suggestions for some current topics |
| 07/28/2008 | True continuous time varying | Beyond FRP: physics-inspired programming abstractions? |
| 07/28/2008 | that was what I was | Beyond FRP: physics-inspired programming abstractions? |
| 07/21/2008 | I like 1. Can fields be | Functional reactive programming in C# for WPF |
| 07/22/2008 | I do most of my simple UIs | Functional reactive programming in C# for WPF |
| 07/13/2008 | The desire for | In search for a programming language to replace spreadsheets. |
| 07/01/2008 | Data flow is a natural model | Why Multi-Core is Easy and Internet is Hard |
| 07/03/2008 | A FRP variable seems like a | Why Multi-Core is Easy and Internet is Hard |
| 12/09/2009 | You might enjoy | Program Visualization: Flowchart Layout Algorithms? |
| 06/18/2008 | The template debugging out | Functional Programming in the ACM CS Curriculum |
| 06/07/2008 | ... what about the manycore | erlang green threads and the CLR |
| 06/02/2008 | Butchering the spirit of | Types Considered Harmful |
| 06/01/2008 | The references escape me, | Computational Thinking |
| 05/18/2008 | Is your concern more bent | Regions for Code GC? |
| 05/07/2008 | primitive | In what case a system doesn't benefit from MapReduce? Do you know any example which doesn't benefit from MapReduce |
| 05/05/2008 | Well-timed - one of the two | A located lambda calculus |
| 04/29/2008 | Not really; these techniques | Automatic Patch-Based Exploit Generation |
| 04/30/2008 | The assumption is that an | Automatic Patch-Based Exploit Generation |
| 04/13/2008 | Let me paraphrase. Does | Simple type system oriented question |
| 04/11/2008 | tree grammars | Context free grammar for shapes in a 2d grid? |
| 04/10/2008 | Can anyone reference a | Safe and Secure Software in Ada |
| 04/10/2008 | 1. For the Wikipedia | Safe and Secure Software in Ada |
| 04/10/2008 | How can you hope to | Safe and Secure Software in Ada |
| 04/13/2008 | physics unnecessary | Safe and Secure Software in Ada |
| 04/13/2008 | That's a red herring. | Safe and Secure Software in Ada |
| 04/12/2008 | Current systems that run | Safe and Secure Software in Ada |
| 04/10/2008 | not really | Simply efficient functional reactivity |
| 10/25/2010 | Cliff's experience is about | Concurrent Composition and Algebras of Events, Actions, and Processes |
| 10/26/2010 | parallelism is where the compute is | Concurrent Composition and Algebras of Events, Actions, and Processes |
| 10/26/2010 | ignore me | Concurrent Composition and Algebras of Events, Actions, and Processes |
| 03/16/2008 | Titanium | Languages best suited for scientific computing? |
| 03/10/2008 | not enough information | Educational environments to learn programming |
| 03/16/2008 | top | Excel as a different programming paradigm |
| 03/01/2008 | JIF | Bell-LaPadula and type safety |
| 03/05/2008 | I'm missing something | Bell-LaPadula and type safety |
| 03/06/2008 | not so clear | Bell-LaPadula and type safety |
| 03/06/2008 | oops | Bell-LaPadula and type safety |
| 03/03/2008 | reactive systems | A Question about Overlap |
| 02/06/2008 | other ways to look at it | time as a first class value? |
| 01/20/2008 | well | Impact of OO language style on code |
| 01/21/2008 | AFAICT | Open5G web app language/system |
| 01/18/2008 | not sure I see it | Bret Victor's Substroke |
| 01/02/2008 | something more accessible? | Protium .. |
| 01/03/2008 | A way to understand it relative to previous work? | Protium .. |
| 12/05/2007 | Symbolic/Concolic Signature Generators | DySy: Dynamic Symbolic Execution for Invariant Inference |
| 11/08/2007 | one derivation | Dependent Classes |
| 11/05/2007 | others | PL research & grad schools? |
| 11/05/2007 | ugrad vs grad | PL research & grad schools? |
| 10/19/2007 | persistent data vs persistant relational data | The End of an Architectural Era (It's Time for a Complete Rewrite) |
| 10/22/2007 | perhaps | The End of an Architectural Era (It's Time for a Complete Rewrite) |
| 10/11/2007 | ITA | Examples of large-scale functional language projects |
| 12/29/2007 | Skydeck | Examples of large-scale functional language projects |
| 10/23/2007 | ?? | Examples of large-scale functional language projects |
| 11/19/2007 | I don't think so | Examples of large-scale functional language projects |
| 10/05/2007 | follow up paper | Derivation and Evaluation of Concurrent Collectors |
| 08/27/2007 | I agree with both | What is a state? |
| 09/19/2009 | Be careful: many of these | Tools for (PhD) Researching |
| 06/03/2007 | right | Automated Whitebox Fuzz Testing |
| 04/02/2007 | eh | Interactivity considered harmful |
| 02/27/2007 | logical vs statistical | Behaviour Diffing |
| 02/28/2007 | neat | Behaviour Diffing |
| 02/12/2007 | collect | Reactive Programming |
| 02/16/2007 | delta propagation | Reactive Programming |
| 01/14/2010 | That particular experiment | Reactive Programming |
| 01/16/2010 | How necessary are these in | Reactive Programming |
| 01/16/2010 | Wow, that clears up a lot | Reactive Programming |
| 01/16/2010 | Weak references also 1) | Reactive Programming |
| 01/17/2010 | I can't comment on it much, | Reactive Programming |
| 01/15/2010 | Reactive Programming | Reactive Programming |
| 01/19/2010 | I think some of this is | Reactive Programming |
| 02/09/2007 | yes | Better language tools |
| 01/23/2007 | hiya | F3: New statically typed scripting language for java |
| 12/19/2006 | function based | Functional Reactive GUI for O'Caml |
| 12/21/2006 | one more | Functional Reactive GUI for O'Caml |
| 12/22/2006 | blocks | Functional Reactive GUI for O'Caml |
| 12/18/2006 | setTimeout | Compiling Factor to Javascript |
| 12/19/2006 | exceptions | Compiling Factor to Javascript |
| 12/17/2006 | policy, law | Theorem proving and patents ... |
| 10/14/2006 | fixed | Flapjax - Functional Reactive Ajax |
| 07/22/2008 | dynamic-wind might help | muSE - an embeddable scheme dialect |
| 01/07/2010 | A variant of 'collect' is in | Oracles |
| 01/08/2010 | A 'collect' primitive, | Oracles |
| 01/06/2010 | A few years ago, I wrote a | Oracles |
| 01/07/2010 | I think an underlying | Oracles |
| 01/07/2010 | Leo Meyerovich mentioned | Oracles |
| 01/13/2010 | Is WPF really synchronous? | Oracles |
| 01/13/2010 | Glitch freedom is about not | Oracles |
| 01/21/2010 | The theoretical underpining | Oracles |
| 01/21/2010 | My concern is two-fold: | Oracles |
| 04/20/2008 | For the record, Scott | Lisp Lovers, how would you fix Lisp or bring it up to date? |
| 01/30/2009 | *Bump* -- what about proving | Lightweight Static Capabilities |
| 03/23/2006 | maybe | I "got" imperative programming throught data binding |
| 06/14/2009 | The more important void here | The Next Mainstream Programming Languages |
| 12/30/2009 | At work I use 16 and 32 core | The Next Mainstream Programming Languages |
| 12/29/2005 | Duck typing vs Structural Subtyping | Duck typing vs Structural Subtyping |
| 07/26/2008 | We see this in the PL | Shoot-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 |