Posts By: Steven Obua
| Date | Post | Topic |
| 08/13/2011 | 'this' is an interesting | The this argument in dynamic programming languages with OO and first-class functions |
| 08/13/2011 | You should like Babel-17 | The this argument in dynamic programming languages with OO and first-class functions |
| 07/23/2011 | Testing is always a good | Is it possible to write code that works the very first time? |
| 06/30/2011 | Babel-17 v0.3 is out | Babel-17 v0.3 is out |
| 07/21/2011 | Babel-17 v0.3.1 is out | Babel-17 v0.3 is out |
| 08/15/2011 | These specifications are | Wittgenstein versus Turing on Inconsistency Robustness |
| 01/22/2011 | Complete Functional Synthesis | Points in the Pattern Matching Design Space |
| 01/21/2011 | I can recommend my language | I've run out of programming languages to study |
| 01/15/2011 | Accumulator | guy steele on how (not) to think of parallel programming |
| 01/21/2011 | My view on this is that | guy steele on how (not) to think of parallel programming |
| 01/21/2011 | "Best solution" was an | guy steele on how (not) to think of parallel programming |
| 01/22/2011 | What I mean is: In | guy steele on how (not) to think of parallel programming |
| 01/12/2011 | Reading the above, I just do | Linear types, anyone? |
| 01/12/2011 | Well, I don't get it. I have | Linear types, anyone? |
| 01/03/2011 | OpenCL looks very | Request for feedback: Epoch Programming Language |
| 12/29/2010 | I would suggest to use Scala | The AST Typing Problem |
| 12/30/2010 | I have done no measurements | The AST Typing Problem |
| 12/30/2010 | I think you have to | The AST Typing Problem |
| 12/23/2010 | That's why you should ship | The Semicolon Wars |
| 12/24/2010 | I definitely envision | The Semicolon Wars |
| 12/29/2010 | A good way to judge the | The Semicolon Wars |
| 12/29/2010 | It is much easier to define | The Semicolon Wars |
| 12/30/2010 | That's my point: If you | The Semicolon Wars |
| 12/29/2010 | At least Standard ML has | The Semicolon Wars |
| 12/12/2010 | How does this approach | Semi-implicit batched remote code execution as staging |
| 12/12/2010 | I guess a fair comparison of | Semi-implicit batched remote code execution as staging |
| 12/12/2010 | Yeah, there will be | Semi-implicit batched remote code execution as staging |
| 12/14/2010 | "just reducing roundtrips" | Semi-implicit batched remote code execution as staging |
| 12/14/2010 | I totally agree that there | Semi-implicit batched remote code execution as staging |
| 12/15/2010 | I really like that idea of | Semi-implicit batched remote code execution as staging |
| 12/29/2010 | I found this rather funny as | Haskell Researchers Announce Discovery of Industry Programmer Who Gives a Shit |
| 12/20/2010 | I vote for referential | The Myths of Object-Orientation |
| 12/21/2010 | You get around the | The Myths of Object-Orientation |
| 12/21/2010 | I don't see any problem with | The Myths of Object-Orientation |
| 12/21/2010 | Kill Bill much ? | The Myths of Object-Orientation |
| 08/06/2010 | It depends | does your language need a memory model? |
| 07/31/2010 | I am little bit puzzled what | Overlapping Instances + Functional Dependencies Unsound? |
| 07/28/2010 | Happy birthday LTU | It's been ten years! |
| 07/22/2010 | paper: "Purely Functional Structured Programming" | paper: "Purely Functional Structured Programming" |
| 07/23/2010 | Shadowing by itself is not | paper: "Purely Functional Structured Programming" |
| 07/24/2010 | Actually, I like a research | paper: "Purely Functional Structured Programming" |
| 07/25/2010 | I agree. I will answer PL | paper: "Purely Functional Structured Programming" |
| 07/26/2010 | Linear scope does not extend | paper: "Purely Functional Structured Programming" |
| 07/26/2010 | What I'm asking is why you | paper: "Purely Functional Structured Programming" |
| 07/26/2010 | That makes sense. You're | paper: "Purely Functional Structured Programming" |
| 07/27/2010 | I think there is probably | paper: "Purely Functional Structured Programming" |
| 07/27/2010 | I am not sure what code you | paper: "Purely Functional Structured Programming" |
| 07/27/2010 | The above code is allowed. | paper: "Purely Functional Structured Programming" |
| 07/28/2010 | That would not be a good | paper: "Purely Functional Structured Programming" |
| 07/28/2010 | "def" is already taken for | paper: "Purely Functional Structured Programming" |
| 04/22/2010 | VCC | How can C Programs be so Reliable? |
| 04/12/2010 | It's not that dramatic | iPhone PL lockdown |
| 04/15/2010 | Somebody on Hacker News | iPhone PL lockdown |
| 03/25/2010 | Huge amounts of data | Will data-intensive computing revolutionize programming languages? |
| 03/26/2010 | A trillion is quite a lot. | Will data-intensive computing revolutionize programming languages? |
| 03/26/2010 | And I would say that we have | Will data-intensive computing revolutionize programming languages? |
| 03/26/2010 | And the Explorers didn't | Will data-intensive computing revolutionize programming languages? |
| 03/21/2010 | Lazy Evaluation | First-class environments. Discuss. ;) |
| 03/26/2010 | Template Haskell is not | First-class environments. Discuss. ;) |
| 03/27/2010 | The thread you are pointing | First-class environments. Discuss. ;) |
| 03/30/2010 | hyper-abstract + half-baked notions | First-class environments. Discuss. ;) |
| 03/27/2010 | I think we misunderstood | First-class environments. Discuss. ;) |
| 03/27/2010 | Scala is actually all about | First-class environments. Discuss. ;) |
| 03/30/2010 | Also Clojure | First-class environments. Discuss. ;) |
| 03/17/2010 | Probability of Perfection | On the (Alleged) Value of Proof for Assurance |
| 03/18/2010 | I want proofs, not types | On the (Alleged) Value of Proof for Assurance |
| 03/18/2010 | And I forgot to mention that | On the (Alleged) Value of Proof for Assurance |
| 03/18/2010 | I am not saying you cannot | On the (Alleged) Value of Proof for Assurance |
| 03/18/2010 | First: COQ is a great tool. | On the (Alleged) Value of Proof for Assurance |
| 03/18/2010 | Coq has the ad-hoc logic, | On the (Alleged) Value of Proof for Assurance |
| 03/18/2010 | AUTOMATH: Actually, I don't | On the (Alleged) Value of Proof for Assurance |
| 03/18/2010 | No, by its main components I | On the (Alleged) Value of Proof for Assurance |
| 03/18/2010 | With all due respect, Sam is | On the (Alleged) Value of Proof for Assurance |
| 03/18/2010 | Now, that's just stretching | On the (Alleged) Value of Proof for Assurance |
| 03/19/2010 | You can redefine things and | On the (Alleged) Value of Proof for Assurance |
| 03/19/2010 | The existence of a thm is | On the (Alleged) Value of Proof for Assurance |
| 03/19/2010 | > I'm starting to wonder if | On the (Alleged) Value of Proof for Assurance |
| 03/19/2010 | Goodbye | On the (Alleged) Value of Proof for Assurance |
| 03/19/2010 | Goodbye to you, too | On the (Alleged) Value of Proof for Assurance |
| 03/18/2010 | I think we are talking about | On the (Alleged) Value of Proof for Assurance |
| 03/10/2010 | Is "byte code" dead ? | Have tracing JIT compilers won? |
| 03/11/2010 | I agree. I am just wondering | Have tracing JIT compilers won? |
| 03/07/2010 | Back to BASICs | Alternative method for defining statically typed variables |
| 03/05/2010 | Software Engineering is not Physics | plt vs. something else for programming in the large? |
| 03/05/2010 | > Maxwell Equations are | plt vs. something else for programming in the large? |
| 03/05/2010 | > Information is bound by | plt vs. something else for programming in the large? |
| 03/06/2010 | Lol. What constitutes a | plt vs. something else for programming in the large? |
| 02/20/2010 | Author fees. Really ? | Reminder: OOPSLA is now SPLASH |
| 02/20/2010 | I have found that the more | Reminder: OOPSLA is now SPLASH |
| 02/20/2010 | Get rid of the typing. Then | Small PL Thought Experiment |
| 02/01/2010 | Babel-17 v0.2 spec is out | Babel-17 v0.2 spec is out |
| 02/01/2010 | Oh, believe me, it's totally | Babel-17 v0.2 spec is out |
| 02/01/2010 | Yes, I don't expect too many | Babel-17 v0.2 spec is out |
| 02/02/2010 | Maybe some will, maybe some | Babel-17 v0.2 spec is out |
| 02/01/2010 | Reasons for Being | Babel-17 v0.2 spec is out |
| 02/12/2010 | Thanks for pointing out Pure | Babel-17 v0.2 spec is out |
| 02/11/2010 | I liked U+2260 too much for | Babel-17 v0.2 spec is out |
| 02/12/2010 | Ok, let's try tilde. It has | Babel-17 v0.2 spec is out |
| 02/13/2010 | 1-tuples | Babel-17 v0.2 spec is out |
| 02/13/2010 | The reason "no 1-tuples" works well in Pure ... | Babel-17 v0.2 spec is out |
| 02/13/2010 | Of course a term rewriting | Babel-17 v0.2 spec is out |
| 02/20/2010 | Function arguments | Babel-17 v0.2 spec is out |
| 02/21/2010 | No static types | Babel-17 v0.2 spec is out |
| 02/25/2010 | Anonymous no-arg functions | Babel-17 v0.2 spec is out |
| 12/10/2010 | There are no functions of no | Babel-17 v0.2 spec is out |
| 12/11/2010 | Yes, val is for | Babel-17 v0.2 spec is out |
| 12/11/2010 | Douglas, I think your | Babel-17 v0.2 spec is out |
| 12/10/2010 | Babel-17 v0.21 is out. | Babel-17 v0.2 spec is out |
| 12/28/2009 | Is (probabilistic) non-determinism pure ? | Is (probabilistic) non-determinism pure ? |
| 12/28/2009 | Effects | Is (probabilistic) non-determinism pure ? |
| 12/28/2009 | choice as simplification of awaitEither | Is (probabilistic) non-determinism pure ? |
| 12/28/2009 | pure outside chemistry | Is (probabilistic) non-determinism pure ? |
| 12/28/2009 | Pure or something else ? | Is (probabilistic) non-determinism pure ? |
| 12/29/2009 | Computing with Measures | Is (probabilistic) non-determinism pure ? |
| 12/29/2009 | Looks very interesting, I'll | Is (probabilistic) non-determinism pure ? |
| 12/29/2009 | Lol. You have a point there. | Is (probabilistic) non-determinism pure ? |
| 12/30/2009 | A new name is a good idea, | Is (probabilistic) non-determinism pure ? |
| 12/30/2009 | Well, a probabilistic | Is (probabilistic) non-determinism pure ? |
| 03/07/2010 | It is a joke of course | Create Your Own Programming Language (book) |
| 12/30/2010 | There is no such language | Why Did M.I.T. Switch from Scheme to Python? |
| 03/05/2010 | He caught me once playing | Tony Hoare / Historically Bad Ideas: "Null References: The Billion Dollar Mistake" |
| 12/28/2009 | Semantics of probabilistic programs | Inspiring Papers |
| 12/28/2009 | Oracles | Oracles |
| 12/14/2010 | I took a stab at this whole | Guido: Language Design Is Not Just Solving Puzzles |
| 12/14/2010 | Minimal design is not really | Guido: Language Design Is Not Just Solving Puzzles |
| 12/14/2010 | That discussion is somewhat | Guido: Language Design Is Not Just Solving Puzzles |
| 01/05/2011 | It is rather the other way | Guido: Language Design Is Not Just Solving Puzzles |
| LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |